˜Theœ language of first order logic including the IBM-compatible Windows version of Tarski's world 4.0

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Barwise, Jon
Weitere Verfasser: Etchemendy, John
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Stanford, CA 1992
Ausgabe:3. ed., rev. & expanded
Schriftenreihe:CSLI lecture notes 34
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIV, 318 S.
1 Diskette (3,5")
ISBN:0937073903
0937073997