» książki » Mathematics - Logic
 |
Mathematical Labyrinths. Pathfinding
ISBN: 9789811230073 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
171,42 |
 |
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:
201,24 |
 |
Wittgensteinian (Adj.): Looking at the World from the Viewpoint of Wittgenstein's Philosophy
ISBN: 9783030275716 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
458,27 |
 |
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:
201,24 |
 |
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:
560,12 |
 |
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:
201,24 |
 |
Quantitative Aptitude: Volume I
ISBN: 9781925823868 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
524,03 |
 |
Quantitative Aptitude: Volume II
ISBN: 9781925823875 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
524,03 |
 |
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,43 |
 |
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:
81,96 |
 |
Mathesis Universalis, Computability and Proof
ISBN: 9783030204495 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
483,04 |
 |
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:
160,99 |
 |
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:
402,53 |
 |
Biological Models Via Interval Type-2 Fuzzy Sets
ISBN: 9783030645298 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Real Analysis: Foundations
ISBN: 9783030647001 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
181,11 |
 |
Paul Lorenzen -- Mathematician and Logician
ISBN: 9783030658236 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Introduction to Discrete Mathematics Via Logic and Proof
ISBN: 9783030253608 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
221,37 |
 |
Diskrete Mathematik Mit Grundlagen: Lehrbuch Für Studierende Von Mint-Fächern
ISBN: 9783658327590 / Niemiecki / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
150,44 |
 |
Graham Priest on Dialetheism and Paraconsistency
ISBN: 9783030253677 / Angielski / Miękka / 704 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
684,33 |
 |
New Essays on Belnap--Dunn Logic
ISBN: 9783030311384 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
442,79 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
