This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '09
 PRF.P.BHADURI
 Logic, Mathematical logic, Model theory, Gottlob Frege, Modeling/Distributed RT Systems, Semantics Logical Correctness

Click to edit the document details