S. Stenlund – författare

Visar alla böcker från författaren S. Stenlund. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Combinators, λ-Terms and Proof Theory

   Av S. Stenlund

   Inbunden, 1972

   1289 kr

   Lägg i varukorg

   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. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory …

2. 

   Logical Theory and Semantic Analysis

   Essays Dedicated to STIG KANGER on His Fiftieth Birthday

   Av S. Stenlund

   Inbunden, 1974

   1094 kr

   Lägg i varukorg

3. 

   Logical Theory and Semantic Analysis

   Essays Dedicated to STIG KANGER on His Fiftieth Birthday

   Av S. Stenlund

   E-bok, 2012

   1459 kr

   Lägg i varukorg

4. 

   Logical Theory and Semantic Analysis

   Essays Dedicated to STIG KANGER on His Fiftieth Birthday

   Av S. Stenlund

   Häftad, 2011

   1094 kr

   Lägg i varukorg

5. 

   Combinators, ?-Terms and Proof Theory

   Av S. Stenlund

   E-bok, 2012

   1427 kr

   Lägg i varukorg

   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. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory …

6. 

   Combinators, λ-Terms and Proof Theory

   Av S. Stenlund

   Häftad, 2011

   1094 kr

   Lägg i varukorg

   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. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory …