| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 5 |      | Wolfgang Degen: Factors of Functions, AC and Recursive Analogues. Math. Log. Q. 48(1): 73-86 (2002) |
| 2001 | ||
| 4 | | Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith: GOL: toward an axiomatized upper-level ontology. FOIS 2001: 34-46 |
| 3 | | Wolfgang Degen: Rigid Unary Functions and the Axiom of Choice. Math. Log. Q. 47(2): 197-204 (2001) |
| 2000 | ||
| 2 | | Wolfgang Degen, Jan Johannsen: Cumulative Higher-Order Logic as a Foundation for Set Theory. Math. Log. Q. 46(2): 147-170 (2000) |
| 1 | | Wolfgang Degen: Pigeonhole and Choice Principles. Math. Log. Q. 46(3): 313-334 (2000) |
| 1 | Barbara Heller | [4] |
| 2 | Heinrich Herre | [4] |
| 3 | Jan Johannsen | [2] |
| 4 | Barry Smith | [4] |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page