![]() |
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 8, Issue 7: August 2021
ISBN: 9781848903746 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
114,30 |
![]() |
Física: O livro de ensaios
ISBN: 9798720189525 / Portugalski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
55,57 |
![]() |
Mathematics for Computation (M4c)
ISBN: 9789811245213 / Angielski / Twarda / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
659,85 |
![]() |
2022 Jigsaw Sudoku: 365 Easy Puzzles for Every Day of the Year: Keep Your Brain Young
ISBN: 9798462767555 / Angielski / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
39,65 |
![]() |
Elements of ∞-Category Theory
ISBN: 9781108837989 / Angielski / Twarda / 750 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
311,91 |
![]() |
Handbook of Research on Advances and Applications of Fuzzy Sets and Logic
ISBN: 9781799879794 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
2186,92 |
![]() |
Automata and Languages
ISBN: 9780198534426 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
237,78 |
![]() |
Transition to Advanced Mathematics
ISBN: 9780367494445 / Angielski / Twarda / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
464,29 |
![]() |
Handbook of Formal Argumentation, Volume 2
ISBN: 9781848903364 / Angielski / Miękka / 924 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
150,30 |
![]() |
Selected Topics from Contemporary Logics
ISBN: 9781848903500 / Angielski / Miękka / 858 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
139,71 |
![]() |
Deontic Logic and Normative Systems. 15th International Conference, DEON 2020/2021
ISBN: 9781848903524 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
105,84 |
![]() |
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue: Intuitionistic Modal Logic and Applications
ISBN: 9781848903777 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
71,97 |
![]() |
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
ISBN: 9783030522810 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part... This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of ma... |
cena:
201,24 |
![]() |
Logic: From Foundations to Applications: European Logic Colloquium
ISBN: 9780198538622 / Angielski / Twarda / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
184,53 |
![]() |
Fuzzy Systems: Theory and Applications
ISBN: 9781632388537 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
529,20 |
![]() |
Fuzzy Logic: A Practical Approach
ISBN: 9781647260965 / Angielski / Twarda / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
585,71 |
![]() |
Decidability of Logical Theories and Their Combination
ISBN: 9783030565565 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be...
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presente...
|
cena:
241,50 |
![]() |
Theoretical Computer Science for the Working Category Theorist
ISBN: 9781108792745 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
89,65 |
![]() |
An Invitation to Abstract Mathematics
ISBN: 9783030561765 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
221,37 |
![]() |
Journal of Applied Logics, Volume 8, Number 9, October 2021. Special issue: Reasoning with and about Legal Argumentation: Methodologies of Research for Legal Argumentation
ISBN: 9781848903784 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
71,97 |