Logic and Complexity /

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new...

Full description

Bibliographic Details

Main Author:	Lassaigne, Richard
Corporate Author:	SpringerLink (Online service)
Other Authors:	Rougemont, Michel
Format:	eBook
Language:	English
Published:	London : Springer London, 2004.
Series:	Discrete mathematics and theoretical computer science.
Subjects:	Computer science. Logic design. Computational complexity. Mathematical optimization. Distribution (Probability theory) Electronic books.
Online Access:	Connect to the full text of this electronic book