Order:
Disambiguations
Gunter Asser [42]Gönter Asser [2]G. Asser [2]GÜnther Asser [1]
  1.  11
    Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (4):252-263.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  2.  23
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  3.  19
    Theorie der Logischen Auswahlfunktionen.Günter Asser - 1957 - Mathematical Logic Quarterly 3 (1‐5):30-68.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  4.  23
    Theorie der Logischen Auswahlfunktionen.Günter Asser - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (1-5):30-68.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  5.  24
    Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle.Gönter Asser & Wolfgang Rautenberg - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (15-22):303-318.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  22
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7.  9
    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
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  10
    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
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9.  3
    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
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  24
    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.
  11.  22
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  8
    Ü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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  25
    Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet.Günter Asser - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (16-17):250-264.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  24
    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.
  15.  4
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  23
    Funktionen-Algorithmen und Graphschemata.Günter Asser - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):20-27.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  16
    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.
  18.  16
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  19
    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.
  20.  10
    Normierte Postsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14‐24):323-333.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  27
    Normierte Postsche Algorithmen.Günter Asser - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):323-333.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. 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.
  23. 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.
  24.  9
    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.
  25.  10
    Review: D. Rodding, Klassen Rekursiver Funktionen. [REVIEW]Gunter Asser - 1972 - Journal of Symbolic Logic 37 (1):196-196.
  26. Review: J. C. Shepherdson, H. E. Sturgis, Computability of Recursive Functions. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.
  27. Review: Laszlo Kalmar, Another Proof of the Godel-Rosser Incompletability Theorem. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-386.
     
    Export citation  
     
    Bookmark  
  28. Review: R. Fraisse, Une Notion de Recursivite Relative. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (3):395-396.
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  4
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  10
    Rekursive Wortfunktionen.Günter Asser - 1960 - Mathematical Logic Quarterly 6 (15‐22):258-278.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  23
    Rekursive Wortfunktionen.Günter Asser - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (15-22):258-278.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  2
    Turing‐Maschinen und Markowsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14‐24):346-365.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  23
    Turing-Maschinen und Markowsche Algorithmen.Günter Asser - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):346-365.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  9
    Vorwort.Günter Asser & Karl Sehröter - 1955 - Mathematical Logic Quarterly 1 (1):1-2.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  23
    Vorwort.Günter Asser & Karl Sehröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):1-2.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  11
    Zur Robinson‐Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Mathematical Logic Quarterly 34 (4):317-322.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  21
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  5
    Die Soundness des Prädikatenkalküls Auf der Basis der Quineschen Reglen.Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-387.
    Direct download  
     
    Export citation  
     
    Bookmark