Henryk Kotlarski – författare

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

3 produkter

1. 

   Model–Theoretic Approach to Proof Theory

   Av Henryk Kotlarski, Zofia Adamowicz m. fl.

   Inbunden, 2019

   551 kr

   Lägg i varukorg

   This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory.In the …

2. 

   Model-Theoretic Approach to Proof Theory

   Av Henryk Kotlarski, Konrad Zdanowski m. fl.

   E-bok, 2019

   710 kr

   Lägg i varukorg

   This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory. In the …

3. 

   Model–Theoretic Approach to Proof Theory

   Av Henryk Kotlarski, Zofia Adamowicz m. fl.

   Häftad, 2020

   551 kr

   Lägg i varukorg

   This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory.In the …