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

Combinators, -Terms and Proof Theory af S. Stenlund

Du sparer 0% ift. normalprisen Spar 0%

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

Vis mere

Sprog:
Engelsk

ISBN:
9789401029155

Forlag:
Springer

Indbinding:
Paperback

Sideantal:
177

Udgivet:
12. oktober 2011

Udgave:
11972

Størrelse:
234x156x10 mm.

Vægt:
302 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

Normalpris

BLACK WEEK
1.093,95 kr. + Fragt
~~1.093,95 kr.~~

Medlemspris

1.043,95 kr.

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

Bag om S. Stenlund

Vis alle bøger af S. Stenlund

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

Brugerbedømmelser af Combinators, -Terms and Proof Theory

Andre købte også..

Find lignende bøger

Bogen Combinators, -Terms and Proof Theory findes i følgende kategorier:

Business og læring > Videnskab

Combinators, -Terms and Proof Theory - S. Stenlund - Bog

Bag om S. Stenlund

Beskrivelse af Combinators, -Terms and Proof Theory

Brugerbedømmelser af Combinators, -Terms and Proof Theory

Gør som tusindvis af andre bogelskere