Absoluteness of intuitionistic logic
By: D.M.R. Leivant
Series: Mathematical Centre tracts -- 73
Publisher: Mathematisch Centrum
Published: 1979
Place of publication: Amsterdam
Language: eng
Number of pages: 137
Subjects: Proposition (Logic); Predicate (Logic); Intuition
Notes: Revision of author's thesis.

Bibliography: p. 128-131.