A Single-Axiom Impligational Calculus of Given Unsolvability.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 13-17, p. 193, doi. 10.1002/malq.19680141302
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1968 AND VI 14 AND IP 13-17
Results: 7
1
2
Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 13-17, p. 263, doi. 10.1002/malq.19680141306
- By:
- Publication type:
- Article
3
A Topological Proof of the Löwenheim-Skolem, Compactness, and Strong Completeness Theorems for Free Logic.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 13-17, p. 245, doi. 10.1002/malq.19680141304
- By:
- Publication type:
- Article
4
Metatheoretische Eigenschaften Gewisser Klassen von Elementaren Theorien.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 13-17, p. 205, doi. 10.1002/malq.19680141303
- By:
- Publication type:
- Article
5
Unterscheidbarkeit Endlicher Geordneter Mengen mit Gegebener Anzahl von Quantoren.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 13-17, p. 267, doi. 10.1002/malq.19680141307
- By:
- Publication type:
- Article
6
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 13-17, p. fmi, doi. 10.1002/malq.19680141301
- Publication type:
- Article
7
An Undecidability Result in the Theory of Relevant Implication.
- Published in:
- Mathematical Logic Quarterly, 1968, v. 14, n. 13-17, p. 255, doi. 10.1002/malq.19680141305
- By:
- Publication type:
- Article