Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
1.
Proof and disproof in formal logic : an introduction for programmers / Richard Bornat. by Series: Oxford texts in logic ; 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford ; New York Oxford University Press, 2005
Online resources:
Availability: Items available for loan: Ahmedabad (1)Call number: 160.22 .

Place hold
2.
Mathematical logic Chiswell, Ian by Series: Oxford texts in logic 3
Publication details: New York Oxford University Press 2007
Availability: Items available for loan: Ahmedabad (1)Call number: 511.3 C4M2.

Place hold
3.
No cover image available
Proof and disproof in formal logic: An introduction for programmers / by Richard Bornat. by Series: Oxford Texts in Logic
Material type: Text Text; Literary form: Not fiction
Publication details: New York: Oxford, 2005
Availability: Items available for loan: Bangalore (1)Call number: 160 BOR.

Place hold
Pages

Powered by Koha