Absoluteness of intuitionistic logic

An edition of Absoluteness of intuitionistic logic (1975)

Absoluteness of intuitionistic logic

By Daniel Maurice Raphaël Leivant

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1979

Publisher

Mathematisch Centrum

Language

eng

Pages

142

Description:

subjects: Intuition, Intuitionistic mathematics, Predicate (Logic), Proof theory, Proposition (Logic)