![]() |
Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics
ISBN: 9783319421193 / Angielski / Twarda / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and c...
|
cena:
605,23 |
![]() |
Philosophical Logic: Current Trends in Asia: Proceedings of Awpl-Tplc 2016
ISBN: 9789811063541 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia.
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of log...
|
cena:
605,23 |
![]() |
Collected Works in Ordered Structures and Mathematical Logic: Volume 2
ISBN: 9783319721439 / Angielski / Twarda / 621 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaboration with Lou van dem Dries, and more recent papers with Sibylla Priess-Crampe on mathematical logic programming and Ultrametric spaces.
Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaborat...
|
cena:
605,23 |
![]() |
Exploring Meinong's Jungle and Beyond: The Sylvan Jungle - Volume 1
ISBN: 9783319787916 / Angielski / Twarda / 620 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics
ISBN: 9783319825021 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
New Directions in Paraconsistent Logic: 5th Wcp, Kolkata, India, February 2014
ISBN: 9788132238232 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Philosophical Logic: Current Trends in Asia: Proceedings of Awpl-Tplc 2016
ISBN: 9789811348631 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic
ISBN: 9789811522208 / Angielski / Twarda / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding
ISBN: 9783030584740 / Angielski / Miękka / 972 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic
ISBN: 9789811522239 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Hiroakira Ono on Substructural Logics
ISBN: 9783030769192 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Objects, Structures, and Logics: Filmat Studies in the Philosophy of Mathematics
ISBN: 9783030847050 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Ernst Schröder on Algebra and Logic
ISBN: 9783031056703 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers. The works translated record Schröder’s journey out of algebra into algebraic logic and document his transformation of George Boole’s opaque and unwieldy logical calculus into what we now recognize as... This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical rumin... |
cena:
605,23 |
![]() |
Hiroakira Ono on Substructural Logics
ISBN: 9783030769222 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science.It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property),...
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related...
|
cena:
605,23 |
![]() |
Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics
ISBN: 9783030847081 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice.A distinguishing feature of the book is the multicultural nature of the community that...
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relat...
|
cena:
605,23 |
![]() |
Saul Kripke on Modal Logic
ISBN: 9783031576348 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
605,23 |
![]() |
Fuzzy Relational Systems: Foundations and Principles
ISBN: 9780306467776 / Angielski / Twarda / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since their inception, fuzzy sets and fuzzy logic became popular. The reason is that the very idea of fuzzy sets and fuzzy logic attacks an old tradition in science, namely bivalent (black-or-white, all-or-none) judg- ment and reasoning and the thus resulting approach to formation of scientific theories and models of reality. The idea of fuzzy logic, briefly speaking, is just the opposite of this tradition: instead of full truth and falsity, our judgment and reasoning also involve intermediate truth values. Application of this idea to various fields has become known under the term fuzzy...
Since their inception, fuzzy sets and fuzzy logic became popular. The reason is that the very idea of fuzzy sets and fuzzy logic attacks an old tradit...
|
cena:
605,23 |
![]() |
Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays
ISBN: 9780387261058 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A one-of-a-kind survey of the field of Reconfigurable Computing Gives a comprehensive introduction to a discipline that offers a 10X-100X acceleration of algorithms over microprocessors Discusses the impact of reconfigurable hardware on a wide range of applications: signal and image processing, network security, bioinformatics, and supercomputing Includes the history of the field as well as recent advances Includes an extensive bibliography of primary sources A one-of-a-kind survey of the field of Reconfigurable Computing Gives a comprehensive introduction to a discipline that offers a 10X-100X ac... |
cena:
605,23 |
![]() |
Physicalism in Mathematics
ISBN: 9780792305132 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of papers has its origin in a conference held at the Uni versity of Toronto in June of 1988. The theme of the conference was Physicalism in Mathematics: Recent Work in the Philosophy of Math ematics. At the conference, papers were read by Geoffrey Hellman (Minnesota), Yvon Gauthier (Montreal), Michael Hallett (McGill), Hartry Field (USC), Bob Hale (Lancaster & St Andrew's), Alasdair Urquhart (Toronto) and Penelope Maddy (Irvine). This volume supplements updated versions of six of those papers with contributions by Jim Brown (Toronto), John Bigelow (La Trobe), John Burgess...
This collection of papers has its origin in a conference held at the Uni versity of Toronto in June of 1988. The theme of the conference was Physicali...
|
cena:
605,23 |
![]() |
Fuzzy Preference Modelling and Multicriteria Decision Support
ISBN: 9780792331162 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The encounter, in the late seventies, between the theory of triangular norms, issuing frorn stochastic geornetry, especially the works of Menger, Schweizer and Sklar, on the one band, and the theory of fuzzy sets due to Zadeh, 10n the other band has been very fruitful. Triangular norms have proved to be ready-rnade mathematical rnodels of fuzzy set intersections and have shed light on the algebraic foundations of fuzzy sets. One basic idea behind the study of triangular norms is to solve functional equations that stern frorn prescribed axioms describing algebraic properties such as...
The encounter, in the late seventies, between the theory of triangular norms, issuing frorn stochastic geornetry, especially the works of Menger, Schw...
|
cena:
605,23 |