The language of first-order logic: including the Macintosh version of Tarski's world 4.0
Authors: | ; |
---|---|
Format: | Print Book |
Language: | English |
Subito Delivery Service: | Order now. |
Check availability: | HBZ Gateway |
WorldCat: | WorldCat |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Published: |
Menlo Park [u.a.]
CSLI
1993
|
In: |
CSLI lecture notes (23)
Year: 1993 |
Edition: | 3. ed., rev. and exp. |
Series/Journal: | CSLI lecture notes
23 |
Further subjects: | B
First-order logic
B Tarski's world (Computer program) |
Online Access: |
Inhaltstext (Verlag) |
ISBN: | 0937073997 |
---|