Skip to main content
PRL Project

Constructive reading of classical logic
Table of Contents

Previous Page


  1. Constable, Robert L. The semantics of evidence. Technical Report 85-684, Cornell University. 1985.
  2. Constable, Robert L. Virtual Evidence: A constructive semantics for classical logics. Cornell University archive: arXiv:1409.0266. August 2014.
  3. Kleene, Stephen Cole. Introduction to metamathematics. Ishi Press. 2009. ISBN 978-0923891572.
  4. van Atten, Mark. On Brouwer. Cengage Learning. 2003. ISBN 978-0534609931.

Related Books in the Math Library

Previous Page

Table of Contents