All ebooks by Zofia Adamowicz in PDF and EPUB
Readzis program recommandation

All ebooks by Zofia Adamowicz in PDF and EPUB


2  Book(s)
Download this eBook A Model–Theoretic Approach to Proof Theory
Add to my wish list

A Model–Theoretic Approach to Proof Theory

Zofia Adamowicz , Teresa Bigorajska , Henryk Kotlarski , Konrad Zdanowski

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

Publication date: 2019-09-26
Format: PDF, ePub
Publisher: Springer
Collection: Trends in Logic
Add to basket
£44,99
Download this eBook Logic of Mathematics
Add to my wish list

Logic of Mathematics

Zofia Adamowicz , Pawel Zbierski

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

Publication date: 2011-09-26
Format: PDF
Publisher: Wiley-Interscience
Collection: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts
Add to basket
£172,97

Sign up to get our latest ebook recommendations and special offers


Paiements sécurisés

Copyright © Numilog 2025, All rights reserved