A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)
Edition: 1 edition
Publisher: Springer
Published: October 27, 2000
Language: eng
Format: Hardcover
Number of pages: 138
ISBN-13: 9780306463945
Subjects: Mathematical logic; Mathematical And Symbolic Logic; Philosophy Of Mathematics; Mathematics; Science/Mathematics; Logic; Mathematics / Logic; Intuitionistic mathematics
First sentence: Intuitionistic logic is studied here as part of familiar classical logic which allows an effective interpretation and mechanical extraction of programs from proofs.