An Approach to Constructive Mathematical Logic. A. A. Markov B. van Rootselaar J. F. Staal

Autor:	Mayoh, Brian H.
Zdroj:	The Journal of Symbolic Logic, 1975 Mar 01. 40(1), 85-85.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2272283 Zobrazit plný text záznamu