Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1002/malq.19550010403
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,536
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Finite Axiomatizability Using Additional Predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
Classifying the Computational Complexity of Problems.Larry Stockmeyer - 1987 - Journal of Symbolic Logic 52 (1):1-43.

View all 10 citations / Add more citations

Similar books and articles

Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (1-3):37-48.
Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (21):303-316.
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):264-270.
Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):3-28.

Analytics

Added to PP index
2016-02-04

Total views
22 ( #461,348 of 2,385,582 )

Recent downloads (6 months)
1 ( #560,835 of 2,385,582 )

How can I increase my downloads?

Downloads

My notes