Well-Ordering Principles and Bar Induction

First Author: Rathjen M
Attributed to:  WORKSHOP: LEEDS SYMPOSIUM ON PROOF THEORY & CONSTRUCTIVISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-10103-3_19

Publication URI: http://dx.doi.org/10.1007/978-3-319-10103-3_19

Type: Book Chapter

Book Title: Gentzen's Centenary - The Quest for Consistency (2015)

Page Reference: 533-561

ISBN: 987-3-319-10102-6

ISSN: 2731-0469