Intuitionist logic - Subsystem of, extension of, or rival to, classical logic?
Language: English
Published: Oct 15, 1986
Read?:
Book Details
...