Liknande böcker

Computability and Randomness
Bok av André. Nies
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Bok av C Anthony Andersen
Information and Randomness
Bok av Cristian Calude
Hilbert's Programs and Beyond
Bok av Wilfried Sieg
Sets, Logic and Maths for Computing
Bok av David Makinson
A textbook of belief dynamics : theory change and database updating
Bok av Sven Ove Hansson
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Bok av Dov M. Gabbay
Introduction to Substructural Logics
Bok av Greg Restall

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford texts in logic ; 2) : an introduction for programmers

Bok av Richard Bornat
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.