Refine your search

Your search returned 2 results.

|
1.
Hyperproof / John Barwise & John Etchemendy.

by Barwise, John | Etchemendy, John.

Material type: Text Text; Format: print Publisher: Stanford, California : Center for the Study of Language and Information, 1994Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): Depósito-681.3.06HYP/BAR/hyp.

2.
The Language of first-order logic : including the IBM-compatible windows version of Tarsk'is World 4.0 / Jon Barwise & John Etchemendy.

by Barwise, Jon | Etchemendy, John.

Edition: 3rd ed., rev. and expanded.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Stanford : Center for the Study of Language and Information, cop. 1992Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 510.6/BAR/lan.

Powered by Koha