Hyperproof

By:

Barwise, Jon

Contributor(s):

Material type: Text

TextSeries: CSLI lecture notes ; 42Publication details: Stanford : [S.n.], c1994Description: xvii, 255 p. : il. ; 26 cmISBN:

1881526119

Subject(s):

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due	Barcode
Libro	Biblioteca de la Facultad de Informática	J.2 BAR (Browse shelf(Opens below))	Available		DIF-00330

Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	J.1 STA Business data comunications	J.2 ALB Computer methods in mathematics	J.2 AYR Aplicaçoes estatísticas em BASIC	J.2 BAR Hyperproof	J.2 BAR The language of first-order logic : Including the IBM-compatible Windows version of Tarski's World 4.0	J.2 BER Spatial reasoning for effective GIS	J.2 COM Computers in mathematical research	Next

Hyperproof es un programa para la enseñanza de los principios básicos del razonamiento analítico. Un programa para Macintosh derivado de Tarski's World

Click on an image to view it in the image viewer