Éléments de logique mathématique: théorie des modèles
| Main Author: | |
|---|---|
| Contributors: | |
| Format: | Print Book |
| Language: | French |
| Subito Delivery Service: | Order now. |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Published: |
Paris
Dunod
1967
|
| In: |
Monographies de la Société Mathématique de France (3)
Year: 1967 |
| Reviews: | [Rezension von: Kreisel, G., Éléments de logique mathématique. Théorie des modèles] (1972)
|
| Series/Journal: | Monographies de la Société Mathématique de France
3 |
| Further subjects: | B
Logic, Symbolic and mathematical
B Mathematical models |
MARC
| LEADER | 00000cam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1071249908 | ||
| 003 | DE-627 | ||
| 005 | 20251224214654.0 | ||
| 007 | tu | ||
| 008 | 850101s1967 fr ||||| 00| ||fre c | ||
| 035 | |a (DE-627)1071249908 | ||
| 035 | |a (DE-576)001249908 | ||
| 035 | |a (DE-599)BSZ001249908 | ||
| 035 | |a (OCoLC)2716968 | ||
| 035 | |a (OCoLC)02716968 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a fre | ||
| 044 | |c XA-FR | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 164 | |
| 084 | |a 1 |2 ssgn | ||
| 100 | 1 | |0 (DE-588)119528592 |0 (DE-627)08034528X |0 (DE-576)161824803 |4 aut |a Kreisel, Georg |d 1923-2015 | |
| 109 | |a Kreisel, Georg 1923-2015 |a Kreisel Krivine, ... 1923-2015 |a Kreisel, G. 1923-2015 |a Krajselʹ, G. 1923-2015 | ||
| 245 | 1 | 0 | |a Éléments de logique mathématique |b théorie des modèles |c G. Kreisel; J. L. Krivine |
| 264 | 1 | |a Paris |b Dunod |c 1967 | |
| 300 | |a VIII, 212 S. | ||
| 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 Monographies de la Société Mathématique de France |v 3 | |
| 583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |f SSG |x XA-DE-BW |2 pdager |5 DE-21 | |
| 583 | 1 | |a Archivierung prüfen |c 20240324 |f DE-4165 |z 2 |2 pdager | |
| 650 | 0 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | |a Mathematical models | |
| 700 | 1 | |0 (DE-588)1158137362 |0 (DE-627)102184294X |0 (DE-576)503696889 |4 oth |a Krivine, Jean-Louis | |
| 787 | 0 | 8 | |i Rezensiert in |t [Rezension von: Kreisel, G., Éléments de logique mathématique. Théorie des modèles] |d 1972 |w (DE-627)1823465587 |
| 810 | 2 | |a Société Mathématique de France |t Monographies de la Société Mathématique de France |v 3 |9 3 |w (DE-627)129673854 |w (DE-576)001249894 |w (DE-600)256396-4 |x 0583-8673 |7 am | |
| 889 | |w (DE-627)197786545 | ||
| 935 | |i mdedup | ||
| 951 | |a BO | ||
| ELC | |b 1 | ||
| ITA | |a 1 |t 1 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2009008642 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1071249908 | ||
| LOK | |0 005 20020705000000 | ||
| LOK | |0 008 020705||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21 |c DE-627 |d DE-21 | ||
| LOK | |0 852 |a DE-21 | ||
| LOK | |0 852 1 |c 7 A 7520 |9 00 | ||
| LOK | |0 935 |a konv | ||
| LOK | |0 939 |a 05-07-02 |b l01 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2562719913 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1071249908 | ||
| LOK | |0 005 20080207100357 | ||
| LOK | |0 008 080207||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-39 |c DE-627 |d DE-21-39 | ||
| LOK | |0 541 |e 803/68 | ||
| LOK | |0 852 |a DE-21-39 | ||
| LOK | |0 852 1 |c Krei |m p |9 00 | ||
| LOK | |0 935 |a K039 |a kneu | ||
| LOK | |0 938 |k p | ||
| LOK | |0 939 |a 07-02-08 |b l01 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 2562720105 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1071249908 | ||
| LOK | |0 005 20080207100445 | ||
| LOK | |0 008 080207||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21-39 |c DE-627 |d DE-21-39 | ||
| LOK | |0 541 |e 340/67 | ||
| LOK | |0 852 |a DE-21-39 | ||
| LOK | |0 852 1 |c Krei |m p |9 00 | ||
| LOK | |0 935 |a K039 |a kneu | ||
| LOK | |0 938 |k p | ||
| LOK | |0 939 |a 07-02-08 |b l02 | ||
| ORI | |a SA-MARC-ixtheoa001.raw | ||
| REL | |a 1 | ||
| SUB | |a REL | ||
