Absoluteness of intuitionistic logic
An edition of Absoluteness of intuitionistic logic (1975)
By Daniel Maurice Raphaël Leivant
Publish Date
1979
Publisher
Mathematisch Centrum
Language
eng
Pages
142
Description:
subjects: Intuition, Intuitionistic mathematics, Predicate (Logic), Proof theory, Proposition (Logic)