A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic by Grigori Mints.

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material pro...

Full description

Saved in:
Bibliographic Details
Main Author: Mints, Grigori (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2000.
Edition:1st ed. 2000.
Series:University Series in Mathematics
Springer eBook Collection.
Subjects:
Mathematical logic.
Logic.
Computer science—Mathematics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items