Name: A Short Introduction to Intuitionistic Logic
Price: 1584.95 DKK
Availability: InStock
Author: Grigori Mints
ISBN: 9781475773194

A Short Introduction to Intuitionistic Logic af Grigori Mints

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.584,95 kr.

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9781475773194

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
131

Udgivet:
26. april 2013

Udgave:
12002

Størrelse:
155x235x8 mm.

Vægt:
231 g.

BLACK WEEK
1.584,95 kr.
~~1.584,95 kr.~~

Gratis fragt

Leveringstid: 8-11 hverdage

Forventet levering: 13. december 2024

Forlænget returret til d. 31. januar 2025

Bag om Grigori Mints

Vis alle bøger af Grigori Mints

Beskrivelse af 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.

Brugerbedømmelser af A Short Introduction to Intuitionistic Logic

Andre købte også..

Find lignende bøger

Bogen A Short Introduction to Intuitionistic Logic findes i følgende kategorier:

A Short Introduction to Intuitionistic Logic

Bag om Grigori Mints

Beskrivelse af A Short Introduction to Intuitionistic Logic

Brugerbedømmelser af A Short Introduction to Intuitionistic Logic

Gør som tusindvis af andre bogelskere