K. Schutte

Meeting of the Association for Symbolic Logic

Max J. Cresswell, H. A. Schmidt, K. Schutte, 1968, Journal of Symbolic Logic.

CONTRIBUTIONS TO MATHEMATICAL LOGIC

H. J. Thiele, K. Schutte, H. Arnold Schmidt, 1968 .

Review: Dag Prawitz, Hauptsatz for Higher Order Logic; Dag Prawitz, Completeness and Hauptsatz for Second Order Logic; Moto-o Takahashi, A Proof of Cut-Elimination in Simple Type-Theory

K. Schutte, 1974 .