Gå direkte til innholdet
A Short Introduction to Intuitionistic Logic
Spar

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.
Forfatter
Grigori Mints
Opplag
Softcover reprint of the original 1st ed. 2002
ISBN
9781475773194
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
26.4.2013
Antall sider
131