Ansten Klev – författare

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

6 produkter

1. 

   Immanent Reasoning or Equality in Action

   A Plaidoyer for the Play Level

   Av Shahid Rahman, Zoe McConaughey m. fl.

   Häftad, 2019

   552 kr

   Lägg i varukorg

   This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to …

2. 

   Architecture and Archaeology of Modern Logic

   Studies Dedicated to Göran Sundholm

   Av Ansten Klev

   Inbunden, 2024

   1745 kr

   Lägg i varukorg

   This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions collected in this volume represent …

3. 

   Architecture and Archaeology of Modern Logic

   Studies Dedicated to Göran Sundholm

   Av Ansten Klev

   E-bok, 2024

   2274 kr

   Lägg i varukorg

   This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions collected in this volume represent …

4. 

   Architecture and Archaeology of Modern Logic

   Studies Dedicated to Göran Sundholm

   Av Ansten Klev

   Häftad, 2025

   1745 kr

   Lägg i varukorg

   This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions collected in this volume represent …

5. 

   Immanent Reasoning or Equality in Action

   A Plaidoyer for the Play Level

   Av Shahid Rahman, Zoe McConaughey m. fl.

   Inbunden, 2018

   550 kr

   Lägg i varukorg

   This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to …

6. 

   Immanent Reasoning or Equality in Action

   A Plaidoyer for the Play Level

   Av Nicolas Clerbout, Ansten Klev m. fl.

   E-bok, 2018

   718 kr

   Lägg i varukorg

   This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to …