combinators lambda terms proof theory von stenlund (2 Ergebnisse)

Autor: stenlund ,

Titel: combinators lambda terms proof theory

Sortiert nach

Beispielbild f�r diese ISBN

Combinators, lambda-Terms and Proof Theory (Synthese Library).
Buch 92�von 304: Synthese Library
Stenlund, S�ren:

Sprache: Englisch

Verlag: Reidel Publishing; Dordrecht,, 1972

ISBN 10: 9027703051 ISBN 13: 9789027703057

Anbieter: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Gebraucht - Hardcover

EUR 48,00

EUR 39,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar
In den Warenkorb

Gebundene Ausgabe. 184 Seiten 1972. Sehr gutes Exemplar, ohne Schutzumschlag. Sprache: Englisch Gewicht in Gramm: 409.
Entdecken Sie mehr von S�oren Stenlund

Entdecken Sie ihre ver�ffentlichten Werke und Sammlerangebote.
S�oren Stenlund entdecken
Foto des Verk�ufers

Combinators, lambda-terms and proof theory.

STENLUND, S.

Anbieter: Antiquariaat Isis, Groningen, Niederlande

Verbandsmitglied: ILAB NVVA

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Gebraucht - Hardcover

EUR 20,00

EUR 30,00 Versand
Versand von Niederlande nach USA

Anzahl: 1 verf�gbar
In den Warenkorb

Dordrecht, Reidel, 1972. 184 pp. Cloth + dustjacket. (SL) *owner's name, dustjacket a bit damaged, otherwise in good condition*.

Combinators, lambda-Terms and Proof Theory (Synthese Library).