"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