"This is a fine collection of essays about and around Per Martin Ld"of's intuitionistic theory. This book is certainly a testimony to the vitality and fruitfulness of Martin-Ld"of's ideas in the foundations of mathematics and theoretical computer science." -- Yvon Gauthier, Modern Logic, Vol 8, No 1/2 (Jan 98 - Apr 2000) 2000
"This work has made an important contribution to the fields of logic and the foundations of mathematics and is also of broader philosophical significance. Its depth and relevance can be seen by its increasing application to a variety of fields from computing science to linguistics."-- athematical
About the Author
Giovanni Sambin is at University of Padua. Jan Smith is at Chalmers University of Technology.