- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by G. Asser
19 found
Order:
Disambiguations
Disambiguations:
| Günter Asser [28] | G. Asser [2] | Gönter Asser [1] | GÜnther Asser [1] |
- (1 other version)Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (4):252-263.
- Theorie der Logischen Auswahlfunktionen.Günter Asser - 1957 - Mathematical Logic Quarterly 3 (1-5):30-68.
- Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet.Günter Asser - 1956 - Mathematical Logic Quarterly 2 (16-17):250-264.
- Einführung in die mathematische Logik.Günter Asser - 1959 - Leipzig,: Teubner.
- (1 other version)Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (1):3-28.No categories
- Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle.Gönter Asser & Wolfgang Rautenberg - 1960 - Mathematical Logic Quarterly 6 (15-22):303-318.No categories
- Funktionen-Algorithmen und Graphschemata.Günter Asser - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):20-27.No categories
- Letter from the outgoing Managing Editor/Letter from the new Managing Editor.Günter Asser & Armin Hemmerling - 2005 - Mathematical Logic Quarterly 51 (1):3-4.No categories
- Normierte Postsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14-24):323-333.No categories
- Rekursive Wortfunktionen.Günter Asser - 1960 - Mathematical Logic Quarterly 6 (15-22):258-278.No categories
- Turing‐Maschinen und Markowsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14-24):346-365.No categories
- (1 other version)Vorwort.Günter Asser & Karl Sehröter - 1955 - Mathematical Logic Quarterly 1 (1):1-2.No categories
- (1 other version)Zur Robinson‐Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Mathematical Logic Quarterly 34 (4):317-322.No categories
- Rödding D.. Klassen rekursiver Funktionen. Proceedings of the summer school in logic, Leeds, 1967, herausgegeben von M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, und New York, 1968, S. 159–222. [REVIEW]Gunter Asser - 1972 - Journal of Symbolic Logic 37 (1):196-196.
- László Kalmár. Another proof of the Gödel-Rosser incompletability theorem. Acta scientiarum mathetnaticarum , Bd. 12A , S. 38–43. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):386.
- C.Y. Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 , S. 384–399. - Seiiti Huzino und Mariko Yoneyama. On a proof of Schepherdson's theorem. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 16 , S. 88–93. [REVIEW]Gunter Asser - 1968 - Journal of Symbolic Logic 33 (4):628.
- Fraïssé R.. Une notion de récursivité relative. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warschau, und Pergamon Press, Oxford—London—New York—Paris, 1961, S. 323–328. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (3):395-396.
- Gumin Heinz und Hermes Hans. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 , S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 388–397. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-387.
- J. C. Shepherdson und H. E. Sturgis. Computability of recursive functions. Journal of the Association for Computing Machinery, Bd. 10 , S. 217–255. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-dwqgq uwo