Intuitionistic logic model theory and forcing
By: by M.C. Fitting.
Publisher: North-Holland
Published: 1969
Language: eng