Logic versus Approximation
Subtitle: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: November 23, 2004
Language: eng
Format: Paperback
Number of pages: 205
ISBN-13: 9783540225621
Subjects: Computing and Information Technology; Logic; Mathematics; Computers - General Information; Science/Mathematics; Computer Science; Discrete Mathematics; Mathematics / Logic; Congresses; Congráes; Logic, Symbolic and mathematical; Logique symbolique et mathâematique
First sentence: Is true the same as provable?