THE L.D.J. BROUWER CENTENARY SYMPOSIUM - Troelstra, A. S.; Dalen, D. Van (Amsterdam North-Holland Pub. Company, 1982)
Proceedings Of The Conference Held In Noordwijkerhout, 8-13 June 1981
Keywords: Logic, Symbolic And Mathematical