Siirry suoraan sisältöön
A Short Introduction to Intuitionistic Logic
Tallenna

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.
Kirjailija
Grigori Mints
Painos
Softcover reprint of the original 1st ed. 2002
ISBN
9781475773194
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
26.4.2013
Sivumäärä
131