Ein neuer beweis für die vollständigkeit eines vielwertigen systems Des aussagenkalküls

Studia Logica 19 (1):115-115 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02186732

Other Versions

No versions found

Links

PhilArchive



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

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

Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.Dieter Klemke - 1971 - Archive for Mathematical Logic 14 (3-4):148-161.
Ein neuer naturwissenschaftlicher Beweis für die Zeitlichkeit des Naturlaufes.[author unknown] - 1912 - Philosophisches Jahrbuch 25:442.
Ein Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität.Ronald Björn Jensen - 1965 - Archive for Mathematical Logic 7 (3-4):128-138.
Über die halbvollen systeme Des aussagenkalküls.G. Bryll - 1966 - Studia Logica 19 (1):125-125.
Ein Neuer Vollständigkeitsbeweis für das Reduzierte Fregesche Axiomensystem des Aussagenkalküls. [REVIEW]E. N. - 1937 - Journal of Philosophy 34 (19):525-526.
G. Hasenjaeger. Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 18 , pp. 42–48. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Uber die Regeln des Aussagenkalkuls.Jerzy Słupecki - 1953 - Studia Logica 1 (1):19-40.
Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.
Ein Neuer Beweis fur die Tatsache, Dass die Klasse der Primitivrekursiven Funktionen Umfassender als die klasse der Elementaren Funktionen ist.Paul Axt - 1955 - Journal of Symbolic Logic 20 (3):282-283.

Analytics

Added to PP
2009-01-28

Downloads
20 (#1,036,437)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references