The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 / Jon Barwise & John Etchemendy

Date : 1993

Editeur / Publisher : Stanford, Calif. : Center for the Study of Language and Information , cop. 1993

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-937073-99-7

Logique du premier ordre -- Logiciels

Tarski's world (logiciels)

Classification Dewey : 160

Barwise, Jon (1942-2000) (Auteur / author)

Etchemendy, John (1952-....) (Auteur / author)

Collection : CSLI lecture notes / Stanford : CSLI , 1985-