Constructive reading of classical logic
Table of Contents
References
- Constable, Robert L. The semantics of evidence. Technical Report 85-684, Cornell University. 1985.
- Constable, Robert L. Virtual Evidence: A constructive semantics for classical logics. Cornell University archive: arXiv:1409.0266. August 2014.
- Kleene, Stephen Cole. Introduction to metamathematics. Ishi Press. 2009. ISBN 978-0923891572.
- van Atten, Mark. On Brouwer. Cengage Learning. 2003. ISBN 978-0534609931.
Related Books in the Math Library
- Logical Investigations, with the Nuprl Proof Asssitant, by Robert Constable and Anne Trostle. July 2014.
Table of Contents