» książki » Mathematics - Logic
topmenu
 |
World and Logic
ISBN: 9781848903845 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
105,74 |
 |
The Logica Yearbook 2011
ISBN: 9781848900714 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2011, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.
This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2011, Hejnice, the Czech Rep...
|
cena:
105,74 |
 |
Insolubles and Consequences
ISBN: 9781848900868 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Throughout his career, Stephen Read has been at the forefront of research in the history and philosophy of logic. Distinctive of his work is his effort both to bring ideas from the history of logic into contemporary debates, and to apply formal logic in his historical analyses. He has made decisive contributions to the study of medieval logic, paradoxes, proof-theoretic semantics, relevant logic, logical consequence, and many other topics. On the occasion of his retirement, friends and colleagues join forces to honor him with a collection of papers reflecting his wide range of interests....
Throughout his career, Stephen Read has been at the forefront of research in the history and philosophy of logic. Distinctive of his work is his effor...
|
cena:
105,74 |
 |
Foundational Adventures
ISBN: 9781848901179 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of technical work in foundations. Friedman...
This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalis...
|
cena:
105,74 |
 |
Studies in the History of Mathematical Logic
ISBN: 9781938421266 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned with the completeness of various logical calculi. The second five essays deal with the completeness of classical first-order predicate logic. One essay deals with the history of Cantor's definition of set, another with the set-theoretical reduction of the concept of relation, and a final essay is devoted to a survey of various meanings of the concept of completeness of formalized deductive theories. The essays were first presented in the national conferences of the Thematic Group...
This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned with the completeness of various logic...
|
cena:
107,68 |
 |
The Language of Mathematics: The Stories behind the Symbols
ISBN: 9780691201887 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,71 |
 |
Games for Your Mind: The History and Future of Logic Puzzles
ISBN: 9780691242026 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,75 |
 |
Self-Reference: Volume 178
ISBN: 9781575865164 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, "Self-Reference" reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.
An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science toda...
|
cena:
107,75 |
 |
L'Emergence de La Presse Mathematique En Europe Au 19eme Siecle
ISBN: 9781848901452 / Francuski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cet opus de la collection Cahiers de Logique et d'Epistemologie est une contribution a l'histoire de la presse mathematique et plus particulierement des journaux qui marquerent ou accompagnerent son emergence dans l'Europe du 19eme siecle. Bien que traitant de ce sujet sur un plan general, il est plus particulierement question ici de periodiques ayant vu le jour dans quatre pays europeens sur la periode 1800-1900: la France, l'Italie, le Portugal et l'Espagne. Le lecteur y trouvera des contributions originales sur leurs editeurs, leurs politiques editoriales, leurs contenus et les populations...
Cet opus de la collection Cahiers de Logique et d'Epistemologie est une contribution a l'histoire de la presse mathematique et plus particulierement d...
|
cena:
107,90 |
 |
Dualities for Structures of Applied Logics
ISBN: 9781848901810 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a framework for presenting algebras and frames arising as semantic structures for formal languages and for proving relationships between the structures. For this purpose a discrete framework, referred to as discrete duality, is used rather than a topological framework. Ideas from the classical dualities and representations of Stone, Priestley, and Urquhart are applied in such a way that topology is not part of any of the underlying structures or relationships. A key contribution of the book is the formulation of the concept of duality via truth for expressing that a class...
This book provides a framework for presenting algebras and frames arising as semantic structures for formal languages and for proving relationships be...
|
cena:
107,90 |
 |
Measuring Inconsistency in Information
ISBN: 9781848902442 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,90 |
 |
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 7, November 2019
ISBN: 9781848903203 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,90 |
 |
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:
107,90 |
 |
Welt und Logik
ISBN: 9781848903838 / Niemiecki / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,90 |
 |
An Introduction to Formal Logic
ISBN: 9781916906327 / Angielski / Twarda / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,90 |
 |
Four Functors. The 'ancestor' of Mundici's equivalence between unital commutative l-groups and MV algebras
ISBN: 9781848904965 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,90 |
 |
Principia Mathematica: Volume One
ISBN: 9781684223305 / Angielski / Miękka / 682 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
109,37 |
 |
Set Theory: Reserved Power Clause!!! and Article V!!!
ISBN: 9781496903655 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
109,83 |
 |
Proof Theory of N4-Paraconsistent Logics
ISBN: 9781848901674 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson. The volume brings together a number of papers the authors have written separately or jointly on various systems of inconsistency-tolerant logic. The material covers the structural proof theory of N4, its fragments, including first-degree entailment logic, related logics, such as trilattice logics, connexive systems, systems of symmetric and dual paraconsistent logic, and variations of...
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, con...
|
cena:
110,06 |
 |
Liber Amicorum Alberti. A Tribute to Albert Visser
ISBN: 9781848902046 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During his scientific life Albert Visser has contributed to a great variety of disciplines in logic, ranging from provability logics, interpretability, and formal arithmetic to philosophy, linguistics and formal language semantics. This Liber Amicorum is in honour of his long and distinguised career, and nicely bears tribute to the diversity of Albert Visser's interests. Filled with contriubitons from his colleagues, the book illustrates the important role that Albert Visser plays and has played as a logician in the Netherlands and abroad.
During his scientific life Albert Visser has contributed to a great variety of disciplines in logic, ranging from provability logics, interpretability...
|
cena:
110,06 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
