Omega-models and well-ordering principles
Attributed to:
WORKSHOP: LEEDS SYMPOSIUM ON PROOF THEORY & CONSTRUCTIVISM
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Book Chapter
Book Title: Foundational Adventures (2014)
Page Reference: 179-212
ISBN: 978-1-84890-117-9