Mathematical Logic Quarterly 2 (1‐4):1-14 (1956)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19560020102 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
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.
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1955 - Mathematical Logic Quarterly 1 (4):264-270.
Review: Gisbert Hasenjaeger, Uber Eine Art von Unvollstandigkeit des Pradikatenkalkuls der Ersten Stufe. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):146-146.
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.
Ü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.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (4):252-263.
Analytics
Added to PP index
2013-11-24
Total views
6 ( #1,076,676 of 2,420,984 )
Recent downloads (6 months)
1 ( #543,702 of 2,420,984 )
2013-11-24
Total views
6 ( #1,076,676 of 2,420,984 )
Recent downloads (6 months)
1 ( #543,702 of 2,420,984 )
How can I increase my downloads?
Downloads
