Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
A first Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity by
Material type: Text Text
Publication details: New York Oxford University Press 2004
Availability: Not available: IIT Goa Central Library: Reference (1).

Log in to add tags Add to cart
2.
First Order Logic by
Material type: Text Text
Publication details: New York Dover Publication 1995
Availability: Items available for loan: IIT Goa Central Library (1)Call number: 164/Smu.

Place hold Log in to add tags Add to cart
3.
Beginner's Guide to Mathematical Logic by
Material type: Text Text
Publication details: New York Dover Publications 2014
Availability: Not available: IIT Goa Central Library: Reference (1).

Log in to add tags Add to cart
4.
To Mock a Mockingbird by
Material type: Text Text
Publication details: New York Oxford University Press   2000
Availability: Items available for loan: IIT Goa Central Library (1)Call number: 793.73/Smu.

Place hold Log in to add tags Add to cart
5.
Logic for Computer Science: Foundations of Automatic Theorem Proving by
Edition: 2/e
Material type: Text Text
Publication details: New York Dover Publications 2015
Availability: Not available: IIT Goa Central Library: Reference (1).

Log in to add tags Add to cart
6.
Natural Deduction: A Proof-Theoretical Study by
Material type: Text Text
Publication details: New York Dover Publications 2006
Availability: Items available for loan: IIT Goa Central Library (1)Call number: 162/Pra.

Place hold Log in to add tags Add to cart
Pages