Name: A Short Introduction to Intuitionistic Logic
Price: 131.00 EUR
Availability: InStock
Author: Grigori Mints
ISBN: 9780306463945

A Short Introduction to Intuitionistic Logic von Grigori Mints

Sie sparen 6% des UVP sparen 6%

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
131,00 €

Über 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.

Sprache:
Englisch

ISBN:
9780306463945

Verlag:
Springer Science+Business Media

Einband:
Gebundene Ausgabe

Seitenzahl:
131

Veröffentlicht:
31 Oktober 2000

Ausgabe:
2000

Abmessungen:
155x235x17 mm.

Gewicht:
840 g.

131,00 € inkl. MwSt.
~~139,09 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Grigori Mints

Alle Bücher von Grigori Mints anzeigen

Beschreibung von 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.

Kund*innenbewertungen von A Short Introduction to Intuitionistic Logic

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch A Short Introduction to Intuitionistic Logic ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule

A Short Introduction to Intuitionistic Logic

Über Grigori Mints

Beschreibung von A Short Introduction to Intuitionistic Logic

Kund*innenbewertungen von A Short Introduction to Intuitionistic Logic

Willkommen bei den Tales Buchfreunden und -freundinnen