Your search returned 2 results.

Sort
Results
1.
An algebraic introduction to mathematical logic by Series: Graduate texts in mathematics :22 ;
Material type: Text Text
Publication details: New York Springer 1975
Availability: Items available for loan: School of Theoretical Physics (1)Call number: 511.2 BAR.
2.
The language of first-order logic: including the IBM-compatible Windows version of Tarski's World 4.0. Third edition, revised and expanded. by Series: CSLI Lecture Notes :34 ;
Edition: Third
Material type: Text Text
Publication details: California CSLI, Stanford 1992
Availability: Items available for loan: School of Theoretical Physics (1)Call number: 511.2 BAR.
Pages