- 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
Results for 'Gönter Asser'
78 found
Order:
- Theorie der Logischen Auswahlfunktionen.Günter Asser - 1957 - Mathematical Logic Quarterly 3 (1‐5):30-68.
- Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):252-263.No categories
- Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Reglen.Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-387.
- Einführung in die mathematische Logik.Günter Asser - 1959 - Leipzig,: Teubner.
- 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.No categories
- Ü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.
- Ü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.No categories
- 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
- Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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
- 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
- Freedom and copyright: The publisher and the public good.Paul Nijhoff Asser - 1993 - Logos 4 (1):45-49.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
- Letter to the editor.Paul Nijhoff Asser - 1995 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 6 (1):27-27.No categories
- Normierte Postsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14‐24):323-333.No categories
- Normierte Postsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14-24):323-333.No categories
- Publishers also have rights.Paul Nijhoff Asser - 1994 - Logos 5 (4):187-191.No categories
- Rekursive Wortfunktionen.Günter Asser - 1960 - Mathematical Logic Quarterly 6 (15‐22):258-278.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
- Turing‐Maschinen und Markowsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14-24):346-365.No categories
- Vorwort.Günter Asser & Karl Sehröter - 1955 - Mathematical Logic Quarterly 1 (1):1-2.No categories
- Vorwort.Günter Asser & Karl Sehröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):1-2.No categories
- Zur Robinson‐Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Mathematical Logic Quarterly 34 (4):317-322.No categories
- Zur Robinson-Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):317-322.No categories
- Review: D. Rodding, Klassen Rekursiver Funktionen. [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]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386.
- Review: Andrzej Grzegorczyk, On the Concept of Categoricity; A. Grzegorczyk, A Kind of Categoricity. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.Export citation
Bookmark - Review: Andrzej Grzegorczyk, On the Validation of the Sets of Axioms in Mathematical Theories. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-387.Export citation Bookmark
- Review: J. C. Shepherdson, H. E. Sturgis, Computability of Recursive Functions. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.Export citation Bookmark
- Review: R. Fraisse, Une Notion de Recursivite Relative. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (3):395-396.Export citation Bookmark
- Review: Seiiti Huzino, Simulatability of Finite Automata by Schepherdson and Sturgis' Machines; Seiiti Huzino, On the Simulation of Real-Time Turing Machines by a Modified Schepherdson-Sturgis' Machine. [REVIEW]Gunter Asser - 1968 - Journal of Symbolic Logic 33 (4):628-629.
- Brill Online Books and Journals.Gordon Graham, Eric de Bellaigue, Laurence Urdang, Fernando Guedes, J. Alexis Koutchoumow, Paul Nijhoff Asser, Alexandra Koval, Ian McGowan, Ken M. C. Nweke & George Greenfield - 1990 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 1 (1).No categoriesExport citation Bookmark
- Andrzej Grzegorczyk. On the concept of categoricity. Englisch mit polnischer und russischer Zusammenfassung. Ebd., Bd. 13 , S. 39–66. - A. Grzegorzyk. A kind of categoricity. Colloquium mathematicum, Bd. 9 Heft 2 , S. 183–187. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
- Andrzej Grzegorczyk. Uzasadnianie aksjomatów teorii matematycznych . Polnisch mit russischer und englischer Zusammenfassung. Stadia logica, Bd. 13 , S. 197–202. [REVIEW]Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):387.
- 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]Günter 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]Gunter 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]Günter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.
- 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]Günter Asser - 1972 - Journal of Symbolic Logic 37 (1):196-196.
- Review: Laszlo Kalmar, Another Proof of the Godel-Rosser Incompletability Theorem. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-386.
- Brill Online Books and Journals.Hans Rütimann, Graham Fawcett, Henry Chakava, Jane Dorner, Leonard Shatzkin, Brian Mellick, Paul Nijhoff Asser, Peter Lothian, Sandra K. Paul & Erik V. Krustrup - 1994 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 5 (4).No categoriesExport citation Bookmark
- Asser's Life of Alfred and the Rhetoric of Hagiography.Karen DeMent Youmans - 1999 - Mediaevalia 22 (2):291-305.No categories
- Asser Günter. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 , S. 30–68.Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (1):39-40.
- Günter Asser. Rekursive Wortfunktionen. Ebd., Bd. 6 , S. 258–278.H. Hermes - 1964 - Journal of Symbolic Logic 29 (4):199-200.
- Günter Asser (1926–2015).Armin Hemmerling - 2015 - Mathematical Logic Quarterly 61 (3):127-131.No categories
- Stow Asser's Dunkle Wöeter. [REVIEW]H. Nettleship - 1891 - The Classical Review 5 (6):263-264.
- Marc G asser- W ingate, Aristotle’s empiricism, New York-Oxford, Oxford University Press, 2021, xviii -256 p.Marie-Noëlle Ribas - 2023 - Revue de Métaphysique et de Morale 120 (4):579-580.
| 1 — 50 / 78 |
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-8fb5884b9-k4bxp uwo