Cumulative higher-order logic as a foundation for set theory

Degen W, Johannsen J (2000)

Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 2000

Journal

Mathematical Logic Quarterly Wiley-VCH Verlag

Publisher: Wiley-VCH Verlag

Book Volume: 46

Pages Range: 147-170

Journal Issue: 2

DOI: 10.1002/(SICI)1521-3870(200005)46:2<147::AID-MALQ147>3.0.CO;2-2

Authors with CRIS profile

Wolfgang Degen Lehrstuhl für Informatik 10 (Systemsimulation)

How to cite

APA:

Degen, W., & Johannsen, J. (2000). Cumulative higher-order logic as a foundation for set theory. Mathematical Logic Quarterly, 46(2), 147-170. https://dx.doi.org/10.1002/(SICI)1521-3870(200005)46:2<147::AID-MALQ147>3.0.CO;2-2

MLA:

Degen, Wolfgang, and Jan Johannsen. "Cumulative higher-order logic as a foundation for set theory." Mathematical Logic Quarterly 46.2 (2000): 147-170.

BibTeX: Download