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) |
MARC
| LEADER | 00000cam a2200000 4500 | ||
|---|---|---|---|
| 001 | 1620532565 | ||
| 003 | DE-627 | ||
| 005 | 20220615130908.0 | ||
| 007 | tu | ||
| 008 | 940411s1993 xx ||||| 00| ||eng c | ||
| 010 | |a 93000419 | ||
| 020 | |a 0937073997 |9 0-937073-99-7 | ||
| 035 | |a (DE-627)1620532565 | ||
| 035 | |a (DE-576)038338319 | ||
| 035 | |a (DE-599)BSZ038338319 | ||
| 035 | |a (OCoLC)27677189 | ||
| 035 | |a (ZBM)0858.03002 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 084 | |a 1 |2 ssgn | ||
| 084 | |a SK 130 |2 rvk |0 (DE-625)rvk/143216: | ||
| 084 | |a CC 2500 |2 rvk |0 (DE-625)rvk/17609: | ||
| 084 | |a *03-01 |2 msc | ||
| 084 | |a 03B10 |2 msc | ||
| 084 | |a 03B05 |2 msc | ||
| 100 | 1 | |0 (DE-588)124163092 |0 (DE-627)085679100 |0 (DE-576)16018715X |4 aut |a Barwise, Jon |d 1942-2000 | |
| 109 | |a Barwise, Jon 1942-2000 |a Barwise, K. Jon 1942-2000 |a Barwise, J. 1942-2000 |a Barwise, John 1942-2000 |a Barvajs, Dż. 1942-2000 |a Barwise, Kenneth Jon 1942-2000 | ||
| 191 | |a 1 | ||
| 245 | 1 | 4 | |a The language of first-order logic |b including the Macintosh version of Tarski's world 4.0 |c Jon Barwise; John Etchemendy |
| 250 | |a 3. ed., rev. and exp. | ||
| 264 | 1 | |a Menlo Park [u.a.] |b CSLI |c 1993 | |
| 300 | |a XIV, 313 S. |b graph. Darst. |e 1 Diskette | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 490 | 1 | |a CSLI lecture notes |v 23 | |
| 601 | |a Macintosh | ||
| 650 | 0 | |a First-order logic | |
| 650 | 0 | |a Tarski's world (Computer program) | |
| 700 | 1 | |0 (DE-588)132926679 |0 (DE-627)528682261 |0 (DE-576)299508137 |4 aut |a Etchemendy, John |d 1952- | |
| 810 | 2 | |a Stanford University |b Center for the Study of Language and Information |t CSLI lecture notes |v 23 |9 23,3 |w (DE-627)130782173 |w (DE-576)012448613 |w (DE-600)1004235-0 |7 ns | |
| 856 | 4 | 2 | |u https://zbmath.org/?q=an:0858.03002 |m B:ZBM |v 2021-04-12 |x Verlag |y Zentralblatt MATH |3 Inhaltstext |
| 935 | |a mteo | ||
| 936 | r | v | |a SK 130 |b Logik und Grundlagen, Metamathematik, |k Mathematik |k Monografien |k Logik und Grundlagen, Metamathematik, |0 (DE-627)1270918567 |0 (DE-625)rvk/143216: |0 (DE-576)200918567 |
| 936 | r | v | |a CC 2500 |b Philosophische Logik |k Philosophie |k Systematische Philosophie |k Logik |k Philosophische Logik |0 (DE-627)1270638726 |0 (DE-625)rvk/17609: |0 (DE-576)200638726 |
| 951 | |a BO | ||
| ELC | |b 1 | ||
| ITA | |a 1 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 3233878591 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1620532565 | ||
| LOK | |0 005 20100406174650 | ||
| LOK | |0 008 041110||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-39 |c DE-627 |d DE-21-39 | ||
| LOK | |0 541 |e 333/2004 | ||
| LOK | |0 852 |z Discette fehlt | ||
| LOK | |0 852 |a DE-21-39 | ||
| LOK | |0 852 1 |c Barw |m p |9 00 | ||
| LOK | |0 935 |a k039 | ||
| LOK | |0 936ln |0 129992333X |a 03 | ||
| LOK | |0 938 |k p | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 3233878613 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1620532565 | ||
| LOK | |0 005 20060403115657 | ||
| LOK | |0 008 060403||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-31 |c DE-627 |d DE-21-31 | ||
| LOK | |0 541 |e 7491 (herm) | ||
| LOK | |0 852 |a DE-21-31 | ||
| LOK | |0 852 1 |c Yq IV b 3:4/3 |m p |9 00 | ||
| LOK | |0 935 |a kneu | ||
| LOK | |0 938 |k p | ||
| ORI | |a SA-MARC-ixtheoa001.raw | ||
| REL | |a 1 | ||
| SUB | |a REL | ||