[Russian Text Ignored].
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 1-4, p. 27, doi. 10.1002/malq.19560020104
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1956 AND VI 2 AND IP 1-4
Results: 5
1
2
Completeness and persistence in the theory of models.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 1-4, p. 15, doi. 10.1002/malq.19560020103
- By:
- Publication type:
- Article
3
Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 1-4, p. 1, doi. 10.1002/malq.19560020102
- By:
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 1-4, p. fmi, doi. 10.1002/malq.19560020101
- Publication type:
- Article
5
Theorie des Bestimmten Artikels.
- Published in:
- Mathematical Logic Quarterly, 1956, v. 2, n. 1-4, p. 37, doi. 10.1002/malq.19560020105
- By:
- Publication type:
- Article