Gå direkt till innehållet
A Short Introduction to Intuitionistic Logic
Spara

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.
Författare
Grigori Mints
Upplaga
Softcover reprint of the original 1st ed. 2002
ISBN
9781475773194
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
26.4.2013
Sidor
131