wyszukanych pozycji: 4
![]() |
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
ISBN: 9783319001180 / Angielski / Twarda / 2013 / 695 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity ...
|
cena:
695,57 zł |
![]() |
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
ISBN: 9783319342689 / Angielski / Miękka / 2016 / 695 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity ...
|
cena:
695,57 zł |
![]() |
Metamathematics of First-Order Arithmetic
ISBN: 9781107168411 / Angielski / Twarda / 2017 / 474 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
|
cena:
898,21 zł |
![]() |
A Lattice of Chapters of Mathematics (Interpretations between Theorems)
ISBN: 9780821824887 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych. What are mathematical theories? What mathematical objects should correspond to this informal concept? The classical and most important answer to these questions is: Theories formalized in first order logic. But this answer has also some undesirable features. One of theme is the dependence of such theories upon the language or the choice of primitive concepts, whereas a slightly deeper view would identify theories interpretable in each other. The purpose of the present memoir is to investigate further, to survey the former work and to point out a number of open problems about local...
What are mathematical theories? What mathematical objects should correspond to this informal concept? The classical and most important answer to these...
|
cena:
116,85 zł |