Name: A Short Introduction to Intuitionistic Logic
Price: 1570.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.570,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.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. november 2024

Normalpris

BLACK NOVEMBER
1.570,95 kr. + Fragt
~~1.570,95 kr.~~

Medlemspris

1.520,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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 - Grigori Mints - Bog

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