Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation

Mathematical Logic Quarterly 17 (1):301-313 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19710170136

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Axiomatische Untersuchungen Zur Elementaren Theorie Der Freien Halbgruppen Mit Substitution Als Undefiniertem Grundbegriff.Manfred Weiss - 1967 - Mathematical Logic Quarterly 13 (16‐18):265-280.
Axiomatische Untersuchungen Zur Elementaren Theorie Der Freien Halbgruppen Mit Substitution Als Undefiniertem Grundbegriff.Manfred Weiss - 1967 - Mathematical Logic Quarterly 13 (16-18):265-280.
Zum Aufbau Einer Mehrsortigen Elementaren Logik.Heinz Kaphengst - 1985 - Mathematical Logic Quarterly 31 (1‐6):39-56.
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln.Karl Schröter - 1956 - Mathematical Logic Quarterly 2 (10‐15):218-227.
Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Mathematical Logic Quarterly 5 (7‐13):132-205.
Einstellige Funktionen Als Grundbegriffe der Elementaren Zahlentheorie.Klaus Härtig - 1959 - Mathematical Logic Quarterly 5 (14-24):209-215.
Eine Erweiterung der Elementaren Prädikatenlogik, Anwendungen in der Arithmetik und anderen Mathematischen Theorien.Helmut Wolter - 1973 - Mathematical Logic Quarterly 19 (11‐12):181-190.
Entscheidungsprobleme für Autonome Mehrbandautomaten.Peter H. Starke - 1976 - Mathematical Logic Quarterly 22 (1):131-140.

Analytics

Added to PP
2013-11-24

Downloads
3 (#1,213,485)

6 months
21 (#723,368)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Herre
Universität Leipzig

Citations of this work

Add more citations

References found in this work

Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.

Add more references