On constructive interpretation of predicative mathematics /

Bibliographic Details
Main Author:	Parsons, Charles, 1933-
Format:	Thesis Book
Language:	English
Published:	New York : Garland Pub., 1990.
Series:	Harvard dissertations in philosophy.
Subjects:	Proof theory. Number theory. Mathematics > Philosophy.

Remote Storage