A Short Introduction To Intuitionistic Logic

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

• | By (Author): Grigori Mints
• | Publisher: Springer Science+Business Media
• | Publication Date: Oct 31, 2000
• | Country of Publication: United States
• | Number of Pages: 131 pages
• | Language: Not Available
• | Binding: Hardback
• | ISBN-10: 0306463946
• | ISBN-13: 9780306463945