Barwise, Jon
Language proof and logic / Jon Barwise, John Etchemendy. - New York : CSLI : Seven Bridges Press , cop. 2000 . - XI, 587 p. : il. ; 24 cm + 1 CD-ROM.
ISBN 1-889119-08-3
Lógica
LCC BC71
Language proof and logic / Jon Barwise, John Etchemendy. - New York : CSLI : Seven Bridges Press , cop. 2000 . - XI, 587 p. : il. ; 24 cm + 1 CD-ROM.
ISBN 1-889119-08-3
Lógica
LCC BC71