É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 |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
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 4500 | ||
---|---|---|---|
001 | 1071249908 | ||
003 | DE-627 | ||
005 | 20240424194307.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 ns | |
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 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 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 | ||
ORI | |a SA-MARC-ixtheoa001.raw | ||
REL | |a 1 | ||
SUB | |a REL |