![]() |
De Sphaera of Johannes De Sacrobosco in the Early Modern Period
ISBN: 9781013274633 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
281,54 |
![]() |
Introduction to Math Olympiad Problems
ISBN: 9780367544713 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
135,69 |
![]() |
Introduction to Math Olympiad Problems
ISBN: 9780367544829 / Angielski / Twarda / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
305,36 |
![]() |
Category Theory in Physics, Mathematics, and Philosophy
ISBN: 9783030308988 / Angielski / Miękka / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
724,58 |
![]() |
Nothing: A Philosophical History
ISBN: 9780199742837 / Angielski / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
110,49 |
![]() |
Historical Studies in Computing, Information, and Society: Insights from the Flatiron Lectures
ISBN: 9783030189570 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
152,93 |
![]() |
Leibniz and the Structure of Sciences: Modern Perspectives on the History of Logic, Mathematics, Epistemology
ISBN: 9783030255749 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
603,81 |
![]() |
The Mathematical Universe: From Pythagoras to Planck
ISBN: 9783030506513 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
181,11 |
![]() |
What is Mathematics: School Guide to Conceptual Understanding of Mathematics
ISBN: 9789731991986 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
224,88 |
![]() |
Uncountable: A Philosophical History of Number and Humanity from Antiquity to the Present
ISBN: 9780226646985 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
137,78 |
![]() |
Mathematical Plato
ISBN: 9781621385806 / Angielski / Twarda / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
119,53 |
![]() |
Einführung in Die Arithmetik: Griechisch - Deutsch
ISBN: 9783110735260 / Niemiecki / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,76 |
![]() |
Mathematik - Physik Und Chemie, Physische Geographie
ISBN: 9783112360750 / Niemiecki / Twarda / 699 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
849,66 |
![]() |
Euclid's Elements in Hebrew Garb: Critical Editions of the Translation by Moses Ibn Tibbon and the Translation Ascribed to Rabbi Jacob, with an Introd
ISBN: 9789004462663 / Angielski / Twarda / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
667,15 |
![]() |
Theodosii Tripolitae Sphaericorum Libros Tres
ISBN: 9783112407493 / Łaciński / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
![]() |
The Logic of Information: A Theory of Philosophy as Conceptual Design
ISBN: 9780192847584 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,29 |
![]() |
The Open Future: Why Future Contingents Are All False
ISBN: 9780192897916 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
373,72 |
![]() |
Against All Odds: Women's Ways to Mathematical Research Since 1800
ISBN: 9783030476120 / Angielski / Miękka / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
644,07 |
![]() |
Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic - Volume II: Foundations of Mathematics
ISBN: 9789811243844 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
315,12 |
![]() |
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
ISBN: 9783030571474 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and...
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts co...
|
cena:
201,24 |