Advertisement

© 1971

Proof Theory and Intuitionistic Systems

  • Authors
Book

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

  • Book Title Proof Theory and Intuitionistic Systems
  • Authors Bruno Scarpellini
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0068783
  • Copyright Information Springer-Verlag Berlin Heidelberg 1971
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-05541-9
  • eBook ISBN 978-3-540-36875-5
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages VIII, 292
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
    Mathematics, general
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking