This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.
FREE Two-Day Shipping for Students. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
About the Author
Laura Crosilla is at Universite di Firenze. Peter Schuster is at Mathematical Institut, Universitaet Munich.
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The present volume addresses the relationship between the foundations and practice of constructive mathematics, by presenting on the one hand some very recent contributions to constructive analysis and formal topology, and on the other hand studies which underline the capabilities and expressiveness of various formal systems which have been introduced as foundations for constructive mathematics. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Symbolic Logic, New York, Cambridge University Press, Pure Appl, North Holland, Oxford University Press, Technical Report, Clarendon Press, Academic Press, Brouwer Centenary Symposium, Dana Scott, Logic Foundations Math, New Zealand, Stone Spaces, Electronic Notes, Handbook of Mathematical Logic, Institut Mittag-Leffler, Steve Awodey, University of Canterbury, Advanced Mathematics, Cambridge Studies, Department of Mathematics, Feferman's Explicit Mathematics, Friedman's A-translation, Oxford Logic Guides New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
The present volume addresses the relationship between the foundations and practice of constructive mathematics, by presenting on the one hand some very recent contributions to constructive analysis and formal topology, and on the other hand studies which underline the capabilities and expressiveness of various formal systems which have been introduced as foundations for constructive mathematics. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Symbolic Logic, New York, Cambridge University Press, Pure Appl, North Holland, Oxford University Press, Technical Report, Clarendon Press, Academic Press, Brouwer Centenary Symposium, Dana Scott, Logic Foundations Math, New Zealand, Stone Spaces, Electronic Notes, Handbook of Mathematical Logic, Institut Mittag-Leffler, Steve Awodey, University of Canterbury, Advanced Mathematics, Cambridge Studies, Department of Mathematics, Feferman's Explicit Mathematics, Friedman's A-translation, Oxford Logic Guides New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Citations (learn more)
This book cites 48
books:
See all 48 books this book cites
1
book
cites this book:
- Constructive Analysis (Grundlehren Der Mathematischen Wissenschaften) by Errett Bishop on 9 pages
- Stone Spaces (Cambridge Studies in Advanced Mathematics) by Peter T. Johnstone on 5 pages
- Algebraic Set Theory (London Mathematical Society Lecture Note Series) by Andri Joyal on 4 pages
- Computer Science by David Woodhouse on 4 pages
- Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series) by Douglas Bridges on 4 pages
See all 48 books this book cites
Books on Related Topics
(learn more)
|
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
