A new type assignment for ...-terms.
M. Coppo, M. Dezani-Ciancaglini (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Decision procedures for S3... and S4.. .”
A new type assignment for ...-terms.
On necessary but not-sufficient conditions.
Hidehisa Sakai (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. I.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. II.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on limitultrapowers.
Halldor Gudjónsson (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Stackautomaten in Labyrinthen.
Horst Müller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction.
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction. II.
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on proofs of falsehood.
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: