Eine Termlogik mit Auswahloperator

Journal of Symbolic Logic 35 (3):440-440 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1970

DOI

10.2307/2270702

Other Versions

reprint Muller, Gert Heinz (1970) "Hermes Hans. Eine Termlogik mit Auswahloperator. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1965, iv + 42 pp". Journal of Symbolic Logic 35(3):440-440

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Eine Termlogik mit Auswahloperator.Hans Hermes - 1965 - Springer.
Eine Termlogik mit Auswahloperator. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):589-589.
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 , pp. 414–438.Abraham Robinson - 1972 - Journal of Symbolic Logic 37 (2):405-406.
Müller Gert Heinz. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest 1965, S. 45–51.Müller G. H.. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440. [REVIEW]Dieter Rödding - 1973 - Journal of Symbolic Logic 38 (1):156-157.
Gert H. Müller: Das philosophische Werk Franz Kröners. [REVIEW]Ernst Haenssler - 1963 - Studia Philosophica 23:246.
Dynamics of Religion in a Broader Europe.Ioana Repciuc - 2014 - Journal for the Study of Religions and Ideologies 13 (39):263-274.
Der russische Militärarzt im 18. Jahrhundert. Heinz Müller-Dietz.Ronald Callinger - 1972 - Isis 63 (2):285-286.
Heinz-Dieter Ebbinghaus. Zermelo and the Skolem Paradox.Dirk Van Dalen - 2000 - Bulletin of Symbolic Logic 1 (2):145-161.

Analytics

Added to PP
2017-02-21

Downloads
21 (#1,010,345)

6 months
2 (#1,689,094)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.

Add more citations

References found in this work

No references found.

Add more references