Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Proof and disproof in formal logic: an introduction for programme by Richard Bornat. Series: Oxford texts in logic 2Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press C2005Availability: Items available for loan: Central Library (1)Call number: 004.015113 BOR(PRO). Place hold
		A first course in logic: an introduction to model theory, proof theory, computability, and complexity by Shawn Hedman. Series: Oxford texts in logic 1Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press c2004Availability: Items available for loan: Central Library (1)Call number: 004.015113 HED(FIR). Place hold

Refine your search