Wellcome

Intuitionistic logic model theory and forcing

Fitting, Melvin Chris

Intuitionistic logic model theory and forcing - Amsterdam North_Holland 1969 - 191p - Studies in logic and the foundations of mathematics .

Roman


Intuitionistic logic

164

No. of hits (from 9th Mar 12) :

Powered by Koha