Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

SELECTED PAPERS ON AUTOMATH STUDIES INLOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 133 Honorary Editor: P. SUPPE...

9 downloads 801 Views 50MB 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

SELECTED PAPERS ON AUTOMATH STUDIES INLOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 133 Honorary Editor: P. SUPPE...

SELECTED PAPERS ON AUTOMATH STUDIES INLOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 133 Honorary Editor: P. SUPPE...

CLASSIFICATION THEORY AND THE NUMBER OF NON-ISOMORPHIC MODELS STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOL...

THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS ESPECIALLY I N RELATION TO RECURSIVE FUNCTIONS STEPHEN COLE KLEENE Cyrus ...

SELECTED LOGIC PAPERS World Scientific Series in 20th Century Mathematics Published Vol. 1 The Neumann Compendium ed...