dblp.uni-trier.dewww.uni-trier.de

J. W. Degen

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
3EEJ. 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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)