Filter
Matematisk logik
Filter
Algorithms and Theory of Computation Handbook, Second Edition provides an up-to-date compendium of fundamental computer science topics and techniques. It also illustrates how the …
Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950’s, it rapidly became one of …
A guide to using Mathematica so as to explore cellular automata within natural phenomena, such as insect colonies, bird flight paths and even DNA sequencing. Designed for …
Aimed at graduate students and researchers in combinatorics and model theory, these two volumes provide a systematic exposition of methods used to classify homogeneous structures …
Principia Mathematica was first published in 1910–13; this is the ninth impression of the second edition of 1925–7. The Principia has long been recognised as one of the …
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas …
How you can become better at solving real-world problems by learning creative puzzle-solving skillsWe solve countless problems--big and small--every day. With so much practice, why …
Reissuing works originally published between 1931 and 1990, this set of twenty-four books covers the full range of the philosophy of logic, from introductions to logic, to calculus …