Michael Thau

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

2 Michael Thau: The omega-rule. Studia Logica 51(2): 241-248 (1992)

1991

1 Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver: Henkin's Completeness Proof: Forty Years Later. Notre Dame Journal of Formal Logic 32(2): 212-232 (1991)

	1992
2		Michael Thau: The omega-rule. Studia Logica 51(2): 241-248 (1992)
	1991
1		Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver: Henkin's Completeness Proof: Forty Years Later. Notre Dame Journal of Formal Logic 32(2): 212-232 (1991)

Coauthor Index