The language of first-order logic : including the Macintosh version of Tarskis World 4.0 / Jon Barwise & John Etchemendy

• Autore: Barwise, Jon
• Pubblicazione: Stanford, : Center for the study of language and information, 1993
• Edizione: 3. ed. revised & expanded
• Descrizione fisica: XIV, 313 p. ; 24 cm + 1 floppy disk.
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03Dxx - Computability and recursion theory [MSC 2020]
• Altri autori: Etchemendy, John
• Titolo autorizzato: Language of first-order logic
• ISBN: 09-370-7399-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: SUN0054350
• Lo trovi qui: Univ. Vanvitelli