Computer Science Logic
Edition: 1 edition
Publisher: Springer
Published: October 28, 2002
Language: eng
Format: Paperback
Number of pages: 625
ISBN-13: 9783540442400
Subjects: Mathematical theory of computation; Programming languages; Computers; Computers - Languages / Programming; Computer Books: General; General; Logic; Programming - General; AI Logic; Computer Science Logic; Formal Methods; Higher-Order Logic; Logical Calculi; Logical Foundations; Mathematical Logic; Mathematics / Logic; Nonclassical Logics; Program Logic; Computer Science; Computer Logic; Congresses