Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Truth, Proof and Infinity: A Theory of Constructive Reasoning > From Calculus of Proof Functions to the Logic of Partial Terms

Truth, Proof and Infinity: A Theory of Constructive Reasoning |
Springer Netherlands
Truth, Proof and Infinity: A Theory of Constructive Reasoning

From Calculus of Proof Functions to the Logic of Partial Terms
Authors

ARI Id

1674219880182_3544080

Access

Not Available Free

Pages

326-348

DOI

10.1007/978-94-017-3616-9_29

Chapter URL

https://rd.springer.com/chapter/10.1007/978-94-017-3616-9_29

Loading...
Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...

Similar News

Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...