You need to sign in or sign up before continuing.
Scan barcode
346 pages • first pub 2001 (editions)
ISBN/UID: 9781447141280
Format: Paperback
Language: English
Publisher: Springer
Publication date: 17 June 2012
Description
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach log...
Community Reviews
Content Warnings
346 pages • first pub 2001 (editions)
ISBN/UID: 9781447141280
Format: Paperback
Language: English
Publisher: Springer
Publication date: 17 June 2012
Description
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach log...
Community Reviews
Content Warnings