Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. 252, doi. 10.1002/malq.19550010403
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1955 AND VI 1 AND IP 4
Results: 8
1
2
Effective operations on partial recursive functions.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. 310, doi. 10.1002/malq.19550010407
- By:
- Publication type:
- Article
3
Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. 241, doi. 10.1002/malq.19550010402
- By:
- Publication type:
- Article
4
Die Verwendung von Aussagenkalkülen zur Beschreibung elektrischer Schaltungen.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. 304, doi. 10.1002/malq.19550010406
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. fmi, doi. 10.1002/malq.19550010401
- Publication type:
- Article
6
Konfinalität.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. 271, doi. 10.1002/malq.19550010405
- By:
- Publication type:
- Article
7
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. 264, doi. 10.1002/malq.19550010404
- By:
- Publication type:
- Article
8
Tagung der deutschen Mathematiker-Vereinigung in Göttingen 1955.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 4, p. 318, doi. 10.1002/malq.19550010408
- Publication type:
- Article