Foundations of constructive mathematics. Metamathematical studies

Name: Foundations of constructive mathematics. Metamathematical studies
Author: Michael J. Beeson

by Michael J. Beeson · 1 review · 1987

Reviewed by	Journal	Date	Access
William A. Howard	The Journal of Symbolic Logic	1987	Restricted

Also by Beeson