ENGLISH

Truth, proof and infinity: A theory of constructions and constructive reasoning

By Jaakko , Donald; Hintikka , Fletcher P. ;Davidson

Book information

Publisher
Springer Netherlands
Year
1998
ISBN
978-94-017-3616-9, 9401736162, 978-90-481-5105-9
Language
english
Format
DJVU
Filesize
4 MB (3766279 bytes)
Series
Synthese library 276
Pages
477\479
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
Logic.

Description

Content: TABLE OF CONTENTS PREFACE PART I: PHILOSOPIDCAL FOUNDATIONS PART II: THE THEORY OF CONSTRUCTIONS PART III: THE INTERPRETATION OF ARITHMETIC PART IV: THE INTERPRETATION OF ANALYSIS INDEX.

Similar books