MATHEMATICAL LOGIC AND JAVA
i prefer students from iit
Mathematical logic formula in introduction of the complicity of WFF Inductive definition of formula 2 Hilbert style proofs Equational Al Proof Deduction theorem post theorem completeness Predicate logic Etc only from India i need teachers