6 results
Helmut Pfeiffer. Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Archiv für mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 41–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-343
- Print publication:
- June 1974
-
- Article
- Export citation
Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 74–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
- Print publication:
- June 1974
-
- Article
- Export citation
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 (1968), pp. 126–137, and vol. 12 (1969), pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 (1969), pp. 12–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- March 1974
-
- Article
- Export citation
Akiko Kino. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 346–356.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
- Print publication:
- March 1972
-
- Article
- Export citation
Harvey Gerber. An extension of Schütte´s Klammer-symbols. Mathematische Annalen, vol. 174 (1967), pp. 203–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
- Print publication:
- February 1970
-
- Article
- Export citation
I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 (1959), pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 191–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
- Print publication:
- June 1967
-
- Article
- Export citation