Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

...
Author:  Anne S. Troelstra

23 downloads 579 Views 3MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Lecture Notes in Mathematics Edited by A. Dold, Heidelberg and B. Eckmann, Z(Jrich 344 I IIIIIIIIIIIIII A. S. Troelst...

Springer Series on Signals and Communication Technology Signals and Communication Technology Passive Eye Monitoring ...

Fire Investigation EDITED BY NIAMH NIC DAÉID CRC PR E S S Boca Raton London New York Washington, D.C. © 2004 CRC Pres...

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS Editors A. HEY T I N G, Amsterdam A. M O S TOWS K I, Warszawa A. R ...

A Short Introduction to Intuitionistic Logic THE UNIVERSITY SERIES IN MATHEMATICS Series Editors: Sylvain E. Cappell, ...

Springer Monographs in Mathematics For further volumes: http://www.springer.com/series/3733 Goro Shimura Arithmetic...