![]() | ![]() |
2001 | ||
---|---|---|
3 | EE | J. W. Degen: Proof Theory for Finitely Valid Sentences. Reports on Mathematical Logic 35: 47-59 (2001) |
1999 | ||
2 | J. W. Degen: Complete Infinitary Type Logics. Studia Logica 63(1): 85-119 (1999) | |
1994 | ||
1 | J. W. Degen: Some Aspects and Examples of Infinity Notions. Math. Log. Q. 40: 111-124 (1994) |