Including the IBM-compatible Windows version of Tarski’s World 4.0. Third Edition, Revised & Expanded. CSLI Lecture Notes, 34. Center for the Study of Language and Information. Stanford. 1992.

De 23,5x15,5 cm. Com xiv, 310, [iii] págs. Brochado. Exemplar com disco acondicionado na caixa do editor.

Manual de lógica de primeira ordem acompanhado pela versão Windows de Tarski’s World 4.0. Organiza-se em quatro partes dedicadas à lógica proposicional, à lógica de quantificadores, à teoria dos conjuntos e definições indutivas, e a tópicos avançados com aplicações em informática.