|
|
|
|
LEADER |
02728nmm a2200397 u 4500 |
001 |
EB002120502 |
003 |
EBX01000000000000001258559 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
221028 ||| eng |
020 |
|
|
|a 9780080955001
|
050 |
|
4 |
|a QA9
|
100 |
1 |
|
|a Mostowski, Andrzej
|
245 |
0 |
0 |
|a Foundational studies, Volume I
|b selected works
|c edited by Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski [and others]
|
260 |
|
|
|a Amsterdam
|b North-Holland Pub. Co.
|c 1979, 1979
|
300 |
|
|
|a 1 volume
|
505 |
0 |
|
|a Front Cover; Foundational Studies: Selected Works; Copyright Page; Contents; Editorial note; A. Mostowski (1913-1975); Bibliography of works of A. Mostowski; Andrzej Mostowski's studies of decidability, recursion and hierarchy; The investigations of Andrzej Mostowski in the foundations of set theory; The work of Andrzej Mostowski in model theory; Research work of A. Mostowski in logical calculi; Contribution of Mostowski to foundation of second order arithmetic; Chapter 1 Thirty years of foundational studies; Chapter 2 Models of set theory
|
505 |
0 |
|
|a "A bibliography of works of Andrzej Mostowski (compiled by W. Marek) ": pages v. 1, p. xi-xix
|
505 |
0 |
|
|a Chapter 3 On the independence of the well-ordering theorem from the ordering principleChapter 4 On definable sets of positive integers; Chapter 5 The classical and the?-complete arithmetic; Chapter 6 Formal system of analysis based on an infinitistic rule of proof; Chapter 7 An exposition of forcing; Chapter 8 Some impredicative definitions in the axiomatic set-theory; Chapter 9 Models of axiomatic theories admitting automorphisms; Chapter 10 On?-models which are not ß-models; Chapter 11 Observations concerning elementary extensions of?-models I.
|
600 |
1 |
4 |
|a Mostowski, Andrzej / fast / (OCoLC)fst00001747
|
600 |
1 |
4 |
|a Mostowski, Andrzej / Bibliography
|
653 |
|
|
|a Logic, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115
|
653 |
|
|
|a Logic, Symbolic and mathematical / fast / (OCoLC)fst01002068
|
653 |
|
|
|a MATHEMATICS / Logic / bisacsh
|
653 |
|
|
|a Logique symbolique et mathématique
|
653 |
|
|
|a MATHEMATICS / Infinity / bisacsh
|
700 |
1 |
|
|a Kuratowski, Kazimierz
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b ZDB-1-ELC
|a Elsevier eBook collection Mathematics
|
490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
500 |
|
|
|a Some of the papers translated from Polish, French or German
|
776 |
|
|
|z 9780080955001
|
776 |
|
|
|z 0080955002
|
856 |
4 |
0 |
|u https://www.sciencedirect.com/science/bookseries/0049237X/93/part/PA
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511/.3
|
520 |
|
|
|a Provability, Computability and Reflection
|