Boekstra.nl - Mints, Grigori - A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic

Mints, Grigori

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Omschrijving

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

In de winkelwagen Geleverd met 5 werkdagen. Wenslijst Stel een vraag

In de winkelwagen Geleverd met 5 werkdagen. Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Mints, Grigori
Titel: A Short Introduction to Intuitionistic Logic
Uitgever: Springer Science+Business Media

Jaar: 2000
Taal: Engels
Pagina's: 131
Gewicht: 385 gr

EAN: 9780306463945
Afmetingen: 235 x 155 x 14 mm
Bindwijze: Gebonden

U ontvangt bij ons altijd de laatste druk!

Rubrieken

Eten en drinken

Alle categorieën