Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Cover image
First Order Logic and Automated Theorem Proving by
  • Fitting, Melvin [author]
Series: Texts and Monographs in Computer Science
Material type: Text Text
Language: English
Publication details: New York : Springer-Verlag, c1990
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 511.3 FIT.
Place hold
Cover image
An Algebraic Introduction to Mathematical Logic by
  • Barnes, Donald W [author]
  • Mack, John M [author]
Series: Graduate Texts in Mathematics ; Vol. 22
Material type: Text Text
Language: English
Publication details: New York : Springer-Verlag, c1975
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 511.3 BAR.
Place hold
Cover image
Introduction to Mathematical Logic Set Theory Computable Functions Model Theory by
  • Malitz, Jerome [author]
Series: Undergraduate Texts in Mathematics
Material type: Text Text
Language: English
Publication details: New York : Springer-Verlag, c1979
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 511.3 MAL.
Place hold
A Course in Mathematical Logic by
  • Manin, Yu I [author]
  • Kobitz, Neal [translator]
Series: Graduate Texts in Mathematics ; No. 53
Material type: Text Text
Language: English
Publication details: New York : Springer-Verlag, c1977
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 511.3 MAN.
Place hold
Pages
Visit counter For Websites

Copyright © Engr Abul Kalam Library, NEDUET, 2024