[FOM] Re: Constructive analysis

Andre Scedrov scedrov at saul.cis.upenn.edu
Wed Sep 4 23:22:43 EDT 2002

"Notes on Constructive Mathematics" by Per Martin-Lof
is a favorite of mine. It was published by 
Almqvist and Wiksell, Stockholm, in 1968. 

Please also see citations of this book
on  http://citeseer.nj.nec.com/context/62289/0

  Andre Scedrov

More information about the FOM mailing list