|
|
|
|
LEADER |
02841nmm a2200577 u 4500 |
001 |
EB002120420 |
003 |
EBX01000000000000001258477 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
221028 ||| eng |
020 |
|
|
|a 9786613837905
|
020 |
|
|
|a 9780080954943
|
020 |
|
|
|a 1283525453
|
020 |
|
|
|a 0080954944
|
020 |
|
|
|a 9781283525459
|
050 |
|
4 |
|a QA248
|
100 |
1 |
|
|a Bernays, Paul
|
245 |
0 |
0 |
|a Sets and classes
|b on the work by Paul Bernays
|c edited by Gert H. Müller
|
260 |
|
|
|a Amsterdam
|b North-Holland Pub. Co.
|c 1976, 1976
|
300 |
|
|
|a xxiii, 358 pages
|
505 |
0 |
|
|a Includes bibliographical references and index
|
505 |
0 |
|
|a Front Cover; Sets and Classes; Copyright Page; Preface; Contents; Paul Bernays-a short biography; Kurze Biographie; List of publications; Chapter 1. A system of axiomatic set theory; Chapter 2. On the problem of schemata of infinity in axiomatic set theory; Chapter 3. The role of classes in set theory; Chapter 4. Choice functions of sets and classes; Chapter 5. A new finitary proof of a theorem of Mostowski; Chapter 6. Reflection principles and indescribability; Chapter 7. A remark on models of the Gödel-Bernays axioms for set theory; Bibliography; Index
|
600 |
1 |
4 |
|a Bernays, Paul / 1888-
|
600 |
1 |
4 |
|a Bernays, Paul / 1888-1977 / http://id.loc.gov/authorities/names/n50007396
|
600 |
1 |
4 |
|a Bernays, Paul / 1888-1977 / fast / (OCoLC)fst01727308
|
653 |
|
|
|a Aufsatzsammlung / gnd
|
653 |
|
|
|a Verzamelingen (wiskunde) / gtt
|
653 |
|
|
|a Axiomatic set theory / http://id.loc.gov/authorities/subjects/sh85010588
|
653 |
|
|
|a BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology / bisacsh
|
653 |
|
|
|a Théorie axiomatique des ensembles
|
653 |
|
|
|a Axiomatische Mengenlehre / gnd / http://d-nb.info/gnd/4143743-3
|
653 |
|
|
|a Ensembles, Théorie axiomatique des / ram
|
653 |
|
|
|a MATHEMATICS / Logic / bisacsh
|
653 |
|
|
|a Klassen (wiskunde) / gtt
|
653 |
|
|
|a Axiomatic set theory / fast / (OCoLC)fst00824491
|
653 |
|
|
|a Axioma's / gtt
|
653 |
|
|
|a MATHEMATICS / Infinity / bisacsh
|
700 |
1 |
|
|a Müller, G. H.
|
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 Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
|
776 |
|
|
|z 0080954944
|
776 |
|
|
|z 0720422841
|
776 |
|
|
|z 9780720422009
|
776 |
|
|
|z 9780720422849
|
776 |
|
|
|z 9780080954943
|
776 |
|
|
|z 0720422000
|
856 |
4 |
0 |
|u https://www.sciencedirect.com/science/bookseries/0049237X/84
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511/.32
|
520 |
|
|
|a Provability, Computability and Reflection
|