Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics

Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics (ISBN-13: 9780387155241 and ISBN-10: 0387155244), written by authors Dirk van Dalen, J.E. Kister, was published by Springer-Verlag in 1987. With an overall rating of 4.1 stars, it's a notable title among other books. You can easily purchase or rent Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics (Hardcover) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.33.