Eine Termlogik mit Auswahloperator

Springer (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

3540033505   3540048995

DOI

10.2307/2270702

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



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

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.Gert Heinz Müller - 1965 - Journal of Symbolic Logic 35 (3):440-440.
Eine Termlogik mit Auswahloperator. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):589-589.
Review: Hans Hermes, Eine Axiomatisierung der Allgemeinen Mechanik. [REVIEW]Barkley Rosser - 1938 - Journal of Symbolic Logic 3 (3):119-120.
Hermes Hans. Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 pp. [REVIEW]Don Pigozzi - 1980 - Journal of Symbolic Logic 45 (1):187-188.
Hermes Hans. Eine Axiomatisierung der allgemeinen Mechanik. Forechungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, vol. 3. S. Hirzel, Leipzig 1938, 48 pp. [REVIEW]Barkley Rosser - 1938 - Journal of Symbolic Logic 3 (2):119-120.

Analytics

Added to PP
2015-02-03

Downloads
16 (#1,193,080)

6 months
5 (#1,043,573)

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.
Hilbert and set theory.Burton Dreben & Akihiro Kanamori - 1997 - Synthese 110 (1):77-125.

Add more citations

References found in this work

No references found.

Add more references