L. Chwistek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1939

2 L. Chwistek: A Formal Proof of Godel's Theorem. J. Symb. Log. 4(2): 61-68 (1939)

1938

1 L. Chwistek, W. Hetper: New Foundation of Formal Metamathematics. J. Symb. Log. 3(1): 1-36 (1938)

	1939
2		L. Chwistek: A Formal Proof of Godel's Theorem. J. Symb. Log. 4(2): 61-68 (1939)
	1938
1		L. Chwistek, W. Hetper: New Foundation of Formal Metamathematics. J. Symb. Log. 3(1): 1-36 (1938)

Coauthor Index

1 W. Hetper [1]