Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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: Main Library (1) Call number: 511.3 CHU.

Place hold Add to cart
Elements of symbolic logic

by Reichenbach, Hans.

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

Place hold Add to cart
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: Main Library (1) Call number: 511.3 QUI.

Place hold Add to cart
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: Main Library (1) Call number: 511.3 FIT.

Place hold Add to cart
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: Main Library (1) Call number: 005.131 HEI.

Place hold Add to cart
Pages

© University of Vavuniya

---