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 …
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 …
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 …