Der er 3 underkategorier
Matematisk logik
-
Bemærk: Kan ikke leveres før jul.
An Intellectual History of Science in the Renaissance: Part II: Cultural, Fundamental & Technological Frameworks (Bog, Hardback, Engelsk)Taking into account the excellence of the essays, the book covers several branches and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory (Bog, Hardback, Engelsk)Do the existing paradigms in the logic of questions allow one to combine questions and proofs? It starts out with an overview of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Godel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics (Bog, Hardback, Engelsk)This book provides a concise and self-contained introduction to the foundations of mathematics. 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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Theory, Computer Science, and Graph Polynomials: Festschrift in Honor of Johann A. Makowsky (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
An Intellectual History of Science in the Renaissance: Part I: Cultural & Fundamental Frameworks (Bog, Hardback, Engelsk)This first of a two-part volume (Book I) deals with a unit intellectual cultural history of science in the Renaissance within fundamental frameworks.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Logic Colloquium '01: Lecture Notes In Logic, 20 (Bog, Hardback, Engelsk)A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Russell's Philosophy of Logical Analysis, 1897-1905 (Bog, Hardback, Engelsk)This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Feferman on Foundations: Logic, Mathematics, Philosophy (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Linear Programming Models and Methods of Matrix Games with Payoffs of Triangular Fuzzy Numbers (Bog, Hardback, Engelsk)The book offers a valuable resource for readers involved in theoretical research and practical applications... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Natural Deduction, Hybrid Systems and Modal Logics (Bog, Hardback, Engelsk)The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Duality Theories for Boolean Algebras with Operators (Bog, Hardback, Engelsk)In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with operators.
Levering: Skaffevare (forvent 14 - 30 hverdage)
