Name: Combinators, -Terms and Proof Theory
Price: 94.00 EUR
Availability: InStock
Author: S. Stenlund
ISBN: 9789401029155

Combinators, -Terms and Proof Theory von S. Stenlund

Sie sparen 12% des UVP sparen 12%

Über Combinators, -Terms and Proof Theory

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.

Sprache:
Englisch

ISBN:
9789401029155

Verlag:
Springer

Einband:
Taschenbuch

Seitenzahl:
177

Veröffentlicht:
12. Oktober 2011

Ausgabe:
11972

Abmessungen:
234x156x10 mm.

Gewicht:
302 g.

94,00 € inkl. MwSt.
~~106,99 €~~ UVP

Versandkostenfrei

Sofort lieferbar

Über S. Stenlund

Alle Bücher von S. Stenlund anzeigen

Beschreibung von Combinators, -Terms and Proof Theory

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.

Kund*innenbewertungen von Combinators, -Terms and Proof Theory

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Combinators, -Terms and Proof Theory ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Wissenschaft

Combinators, -Terms and Proof Theory

Über S. Stenlund

Beschreibung von Combinators, -Terms and Proof Theory

Kund*innenbewertungen von Combinators, -Terms and Proof Theory

Willkommen bei den Tales Buchfreunden und -freundinnen