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
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
Mendeley
EndNote