Results for 'Gönter Asser'

51 found
Order:
  1.  8
    Einführung in die mathematische Logik.Günter Asser - 1959 - Leipzig,: Teubner.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  16
    (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
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  52
    Normierte Postsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14-24):323-333.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Publishers also have rights.Paul Nijhoff Asser - 1994 - Logos 5 (4):187-191.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  22
    (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.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  6.  18
    (1 other version)Zur Robinson‐Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Mathematical Logic Quarterly 34 (4):317-322.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  76
    Theorie der Logischen Auswahlfunktionen.Günter Asser - 1957 - Mathematical Logic Quarterly 3 (1-5):30-68.
  8.  18
    Freedom and copyright: The publisher and the public good.Paul Nijhoff Asser - 1993 - Logos 4 (1):45-49.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  8
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  56
    Rekursive Wortfunktionen.Günter Asser - 1960 - Mathematical Logic Quarterly 6 (15-22):258-278.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  20
    (1 other version)Vorwort.Günter Asser & Karl Sehröter - 1955 - Mathematical Logic Quarterly 1 (1):1-2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  15
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  48
    Turing‐Maschinen und Markowsche Algorithmen.Günter Asser - 1959 - Mathematical Logic Quarterly 5 (14-24):346-365.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  35
    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  
     
    Export citation  
     
    Bookmark  
  15.  39
    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.
  16.  58
    Ü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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  72
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  73
    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.
  19.  36
    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.
  20.  48
    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.
  21.  74
    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.
  22.  25
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. 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 categories
     
    Export citation  
     
    Bookmark  
  24. 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 categories
     
    Export citation  
     
    Bookmark  
  25.  26
    Asser's Life of Alfred and the Rhetoric of Hagiography.Karen DeMent Youmans - 1999 - Mediaevalia 22 (2):291-305.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  13
    Sin embodied: Priest-psychiatrist Asser Stenbäck and the psychosomatic approach to human problems.Eve-Riina Hyrkäs - 2023 - History of the Human Sciences 36 (1):31-55.
    Combining theological and medical perspectives is indispensable for the historical study of the interconnections between mind, body, and soul. This article explores these relations through the history of Finnish psychosomatic medicine, and uses published and archival materials to examine the intellectual biography of the Finland-Swedish theologian turned psychiatrist Asser Stenbäck (1913–2006). Stenbäck's career, which evolved from priesthood to psychiatry and politics, reveals a great deal about the tensions between religion and medicine, the spiritual and scientific groups that impinged upon (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  17
    Günter Asser (1926–2015).Armin Hemmerling - 2015 - Mathematical Logic Quarterly 61 (3):127-131.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  21
    Günter Asser. Rekursive Wortfunktionen. Ebd., Bd. 6 , S. 258–278.H. Hermes - 1964 - Journal of Symbolic Logic 29 (4):199-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  30
    Asser Günter. Funktionen-Algorithmen und Graphschemata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 20–27. [REVIEW]E. M. Fels - 1963 - Journal of Symbolic Logic 28 (4):292-292.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  27
    Asser G.. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig 1965, VI + 184 pp. [REVIEW]Ann S. Ferebee - 1968 - Journal of Symbolic Logic 33 (2):304-304.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  42
    Stow Asser's Dunkle Wöeter. [REVIEW]H. Nettleship - 1891 - The Classical Review 5 (6):263-264.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  48
    Asser Günter. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 , S. 30–68.Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (1):39-40.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33.  15
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  19
    (1 other version)Bemerkungen Zu Der Von Asser Entwickelten Version Der Turing‐Maschine.Peter H. Starke - 1960 - Mathematical Logic Quarterly 6 (7‐14):106-108.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  27
    Asser Günter and Schröter Karl. Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Mathematische Nachrichten, vol. 19 no. 1–6 , pp. 73–86. [REVIEW]Theodore Hailperin - 1960 - Journal of Symbolic Logic 25 (2):176-176.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. On a theorem of Günter Asser.Cristian S. Calude & Lila Sântean - 1990 - Mathematical Logic Quarterly 36 (2):143-147.
    Recently, G. ASSER has obtained two interesting characterizations of the class of unary primitive recursive string-functions over a fixed alphabet as Robinson algebras. Both characterizations use a somewhat artificial string-function, namely the string-function lexicographically associated with the number-theoretical excess-over-a-square function. Our aim is to offer two new and natural Robinson algebras which are equivalent to ASSER’S algebras.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  13
    (1 other version)Finite Automata and Asser's Function Algorithms.Seiiti Huzino - 1962 - Mathematical Logic Quarterly 8 (1):77-80.
  38.  28
    Asser Günter , pp. 20–27) has meanwhile gone farther and shown, inter alia, the equivalence of Kalužnin's graph-schematic algorithm concept with Asser's functional-algorithm concept. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):364-364.
  39.  24
    Asser G.. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig 1959, VI + 184 pp. [REVIEW]H. Hermes - 1960 - Journal of Symbolic Logic 25 (3):276-277.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  20
    Asser Günter. Die endlichwertigen Łuhasiewiczschen Aussagenkalküle. Bericht über die Mathematiker—Tagung in Berlin vom 14. bis 18. Januar 1953, Deutscher Verlag der Wissenschaften, Berlin 1953, pp. 15–18. [REVIEW]A. R. Turquette - 1956 - Journal of Symbolic Logic 21 (1):87-87.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  40
    Herrn Professor Dr. sc. nat. Günter Asser zum 60. Geburtstag.P. Schreiber - 1986 - Mathematical Logic Quarterly 32 (1-5):3-4.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. La véritable portée du théoreme de Lindenbaum-Asser.Jean-Yves Béziau - 1999 - Logique Et Analyse 167 (168):341-359.
  43. The Medieval Life of King Alfred the Great: A Translation and Commentary on the Text Attributed to Asser[REVIEW]Stephen Harris - 2003 - The Medieval Review 1.
  44.  19
    Gerhard Werle et al., Principles of International Law. The Hague, The Netherlands: T.M.C. Asser Press, 2005. [REVIEW]Albert van Goudoever - 2007 - Human Rights Review 8 (4):425-426.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Conceivability and the metaphysics of mind.Joseph Levine - 1998 - Noûs 32 (4):449-480.
    Materialism in the philosophy of mind is the thesis that the ultimate nature of the mind is physical; there is no sharp discontinuity in nature between the mental and the non-mental. Anti-materialists asser t that, on the contrary, mental phenomena are different in kind from physical phenomena. Among the weapons in the arsenal of anti-materialists, one of the most potent has been the conceivability argument. When I conceive of the mental, it seems utterly unlike the physical. Anti-materialists insist that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  46. Moore's paradox and Crimmins's case.David Rosenthal - 2002 - Analysis 62 (2):167-171.
    Moore’s paradox occurs with sentences, such as (1) It’s raining and I don’t think it’s raining. which are self-defeating in a way that prevents one from making an asser- tion with them.1 But Mark Crimmins has given us a case of a sentence that is syntactically just like (1) but is nonetheless assertible. Suppose I know somebody, and know or have excellent reason to believe that I know that very person under some other guise. I do not know what (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  47.  68
    Fifty years of the spectrum problem: survey and new results.Arnaud Durand, Neil D. Jones, Johann A. Makowsky & Malika More - 2012 - Bulletin of Symbolic Logic 18 (4):505-553.
    In 1952, Heinrich Scholz published a question in The Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser in turn asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  51
    A constructive treatment of Urysohn's Lemma in an apartness space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
    This paper is dedicated to Prof. Dr. Günter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community.At first sight it appears highly unlikely that Urysohn's Lemma has any significant constructive content. However, working in the context of an apartness space and using functions whose values are a generalisation of the reals, rather than real numbers, enables us to produce a significant constructive (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  42
    A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
    LetL 3 c be the smallest set of propositional formulas, which containsCpCqpCCCpqCrqCCqpCrpCCCpqCCqrqCCCpqppand is closed with respect to substitution and detachment. Let $\mathfrak{M}_3^c $ be Łukasiewicz’s three-valued implicational matrix defined as follows:cxy=min (1,1−x+y), where $x,y \in \{ 0,\tfrac{1}{2},1\}$ . In this paper the following theorem is proved: $$L_3^c = E( \mathfrak{M}_3^c )$$ The idea used in the proof is derived from Asser’s proof of completeness of the two-valued propositional calculus. The proof given here is based on the Pogorzelski’s deduction theorem (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. The Chronicle of John of Worcester: Volume Ii: The Annals From 450 to 1066.John of Worcester - 1995 - Oxford University Press UK.
    The chronicle of John of Worcester is one of the most important sources of earlier English history. The chronicle, which was written at Worcester by 1140, is of considerable interest to historians of both the Anglo-Saxon period and of the late eleventh and twelfth centuries. Its backbone is a translation of an Anglo-Saxon chronicle with varied connections, and this edition makes possible the detailed examination of these allegiances. Its annals for the second half of the ninth century provide one of (...)
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 51