Advertisement

Proof Theory and Intuitionistic Systems

  • Authors
  • Bruno¬†Scarpellini

Part of the Lecture Notes in Mathematics book series (LNM, volume 212)

Table of contents

About this book

Keywords

Beweistheorie Finite Intuitionistische Mathematik Transfinite induction calculus function proof proof theory well-ordering principle

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0068783
  • Copyright Information Springer-Verlag Berlin Heidelberg 1971
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-05541-9
  • Online ISBN 978-3-540-36875-5
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site