Your search returned 5 results.

Sort
Results
Introduction to mathematical logic

by Church, Alonzo.

Series: Princeton landmarks in mathematics and physicsMaterial type: Text Text Publication details: Princeton, N.J. : Princeton University Press, 1996Availability: Items available for loan: 1 Call number: 511.3 CHU.

Elements of symbolic logic

by Reichenbach, Hans.

Material type: Text Text Publication details: New York: Dover Pub., 1975Availability: Items available for loan: 1 Call number: 511.3 REI.

Mathematical logic

by Quine, Willard Van Orman.

Series: Logic, Symbolic and mathematicalMaterial type: Text Text Publication details: Cambridge : Harvard University Press, 1979Availability: Items available for loan: 1 Call number: 511.3 QUI.

First-order logic and automated theorem proving /

by Fitting, Melvin.

Edition: 2nd ed.Material type: Text Text Publication details: New York : Springer, c1996Availability: Items available for loan: 1 Call number: 511.3 FIT.

Discrete structures, logic, and computability /

by Hein, James L.

Edition: Fourth edition.Material type: Text Text Publication details: Burlington, MA : Jones & Bartlett Learning, [2017] ©2017Availability: Items available for loan: 1 Call number: 005.131 HEI.

Pages

© University of Vavuniya

---