38 found
Order:
  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.  22
    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.  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.
  4.  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.
  5.  17
    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  
  6.  22
    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  
  7.  19
    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  
  8.  17
    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.
  9.  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  
  10.  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  
  11.  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  
  12. Review: J. C. Shepherdson, H. E. Sturgis, Computability of Recursive Functions. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.
  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.  23
    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  
  15.  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  
  16.  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  
  17.  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  
  18.  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  
  19.  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  
  20.  15
    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.
  21.  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  
  22. Review: R. Fraisse, Une Notion de Recursivite Relative. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (3):395-396.
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  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.
  24.  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  
  25. 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.
  26.  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  
  27.  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  
  28.  8
    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  
  29.  7
    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  
  30.  5
    Review: D. Rodding, Klassen Rekursiver Funktionen. [REVIEW]Gunter Asser - 1972 - Journal of Symbolic Logic 37 (1):196-196.
  31.  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  
  32.  2
    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  
  33.  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  
  34. 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.
  35. 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  
  36.  27
    Funktionen-Algorithmen.Günter Asser - 1961 - Mathematical Logic Quarterly 7 (1-5):1-8.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  26
    Turing-Maschinen und Markowsche Algorithmen.Günter Asser - 1961 - Mathematical Logic Quarterly 7 (19-20):309-310.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  21
    Über Eine Darstellung der Rekursiven Wortfunktionen in Endlichen Automaten.Günter Asser - 1966 - Mathematical Logic Quarterly 12 (1):1-12.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark