Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 3, p. 173, doi. 10.1002/malq.19550010302
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1955 AND VI 1 AND IP 3
Results: 4
1
2
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 3, p. fmi, doi. 10.1002/malq.19550010301
- Publication type:
- Article
3
A formalization of the theory of sets from the point of view of combinatory logic.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 3, p. 198, doi. 10.1002/malq.19550010304
- By:
- Publication type:
- Article
4
A single axiom for a partial system of the propositional calculus.
- Published in:
- Mathematical Logic Quarterly, 1955, v. 1, n. 3, p. 196, doi. 10.1002/malq.19550010303
- By:
- Publication type:
- Article