Denna webbshop är stängd för köp.
Klicka här för mer information

Sök i Dca - Logik

The Nature of Computation

av Cristopher Moore

Basic Proof Theory

av A. S. Troelstra
The Nature of Computation

Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to biology. But this b…

Basic Proof Theory

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples ar…

Sant, falskt eller mittemellan? Larmrapporten The Annotated Turing Frank Ramsey
Sant, falskt eller mittemellan? av Emma FransLarmrapporten av Emma FransThe Annotated Turing av Charles PetzoldFrank Ramsey av Cheryl Misak

Logic as a Tool The Logic Manual The Logic Manual Logic
Logic as a Tool av Valentin GorankoThe Logic Manual av Volker HalbachThe Logic Manual av Volker HalbachLogic av Greg Restall