Zofia Adamowicz – författare
Visar alla böcker från författaren Zofia Adamowicz. Handla med fri frakt och snabb leverans.
5 produkter
Logic of Mathematics
A Modern Course of Classical Logic
Av Zofia Adamowicz, Pawel Zbierski
Inbunden, 1997
2266 kr
Lägg i varukorg
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of …
Logic of Mathematics
A Modern Course of Classical Logic
Av Pawel Zbierski, Zofia Adamowicz
E-bok, 2011
2582 kr
Lägg i varukorg
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of …
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 …
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 …
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 …
