Barwise, Jon.

The Language of first-order logic : including the IBM-compatible windows version of Tarsk'is World 4.0 / Jon Barwise & John Etchemendy. - 3rd ed., rev. and expanded. - Stanford : Center for the Study of Language and Information, cop. 1992. - XIV, 319 p. ; 24 cm + 1 disquete. - CSLI lecture notes ; 34. .

0-937073-90-3


Lógica matemática

Powered by Koha