Absoluteness of intuitionistic logic
By: D. M. R. Leivant.
Series: Mathematical Centre tracts ; 73; Mathematical Centre tracts ;; 73.
Publisher: Mathematisch Centrum
Published: 1979
Place of publication: Amsterdam
Language: eng
Number of pages: 137
Subjects: Intuitionistic mathematics.; Proof theory.
Notes: Includes bibliographical references and indexes.