Michael Thau

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Michael Thau
-rule. Stud Logica 51 (2) (1992)
Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
Henkin's Completeness Proof: Forty Years Later. Notre Dame J. Formal Log. 32 (2) (1991)
George Weaver, Michael Thau, Hugues Leblanc
Extending ω-consistent sets to maximally consistent, ω-complete sets. Math. Log. Q. 36 (5) (1990)