Mathematics and Its Logics: Philosophical Essays
ISBN: 9781108494182 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
403,74 zł |
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, Ca, Usa, October 6-9, 2020, Proceedings
ISBN: 9783030605070 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
194,08 zł |
Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory: With Applications to Gravity and Particle Theory
ISBN: 9783030611002 / Angielski / Twarda / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
388,20 zł |
The Foundations of Computability Theory
ISBN: 9783662624203 / Angielski / Twarda / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
349,38 zł |
Mathematical Labyrinths. Pathfinding
ISBN: 9789811228230 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
403,79 zł |
Mathematical Labyrinths. Pathfinding
ISBN: 9789811230073 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
176,66 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal
ISBN: 9783030614669 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
194,08 zł |
The Semantic Web: Eswc 2020 Satellite Events: Eswc 2020 Satellite Events, Heraklion, Crete, Greece, May 31 - June 4, 2020, Revised Selected Papers
ISBN: 9783030623265 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
194,08 zł |
The Semantic Web - Iswc 2020: 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part II
ISBN: 9783030624651 / Angielski / Miękka / 721 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
427,02 zł |
A Model-Theoretic Approach to Proof Theory
ISBN: 9783030289232 / Angielski / Miękka / 109 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs... This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combi... |
|
cena:
194,08 zł |
Quantitative Aptitude: Volume I
ISBN: 9781925823868 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
581,15 zł |
Quantitative Aptitude: Volume II
ISBN: 9781925823875 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
581,15 zł |
The Cloud of Unknowing: A Book Of Contemplation The Which Is Called The Cloud Of Unknowing, In The Which A Soul Is Oned With God
ISBN: 9782357285835 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
47,82 zł |
The Cloud of Unknowing: A Book Of Contemplation The Which Is Called The Cloud Of Unknowing, In The Which A Soul Is Oned With God
ISBN: 9782357285842 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
90,89 zł |
Mathesis Universalis, Computability and Proof
ISBN: 9783030204495 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
465,84 zł |
Logical Methods: The Art of Thinking Abstractly and Mathematically
ISBN: 9783030637767 / Angielski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
155,25 zł |
Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic
ISBN: 9783030641863 / Angielski / Twarda / 517 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
388,20 zł |
Biological Models Via Interval Type-2 Fuzzy Sets
ISBN: 9783030645298 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: 20 dni roboczych |
|
140,15 zł |
Real Analysis: Foundations
ISBN: 9783030647001 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: 20 dni roboczych |
|
105,90 zł |
Paul Lorenzen -- Mathematician and Logician
ISBN: 9783030658236 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
194,08 zł |