Your search returned 3 results.

Results
		Hyperproof by Barwise, Jon Etchemendy, John Allwein, Gerard Series: CSLI lecture notes ; 42 Material type: Text; Literary form: Not fiction Publication details: Stanford : [S.n.], c1994 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: J.2 BAR . Place hold
		The language of first-order logic : Including the IBM-compatible Windows version of Tarski's World 4.0 by Barwise, Jon Edition: 3rd ed. rev. and expanded Material type: Text; Literary form: Not fiction Publication details: Stanford : [S.n.], 1992 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: J.2 BAR . Place hold

Refine your search