Items related to Logic in Computer Science-Second Edition (the Second...
Logic in Computer Science-Second Edition (the Second Edition)/ One of the Series of CAS Postgraduate Teaching. (Chinese Edition) - Softcover
Synopsis
Logic in Computer Science-Second Edition written by Zhongwan Lu introduces the basic knowledge of logics which is interrelated and also connects closely to computer science, such as the constructive and model logic in classical and non-classical logics. With the consideration of the features of logical system as well as the requirements of computer science technology, this book shows the research of the backgrounds, languages, semantics, form deductions as well as the reliability and completeness of all kind of logics. Exercises are also provided for most chapters.
"synopsis" may belong to another edition of this title.
Buy New
View this item
US$ 59.00
US$ 18.00 shipping from China to U.S.A.
Destination, rates & speedsSearch results for Logic in Computer Science-Second Edition (the Second...
Seller Image
Mathematical Logic for Computer Science (2nd Edition)(Chinese Edition)
Seller: liu xing, Nanjing, JS, China
Seller rating 5 out of 5 stars
paperback. Condition: New. The paperback. Pub Date: 2002 01 of Pages: 263 in Publisher: Science Press mathematical logic for computer science (2) describes the computer science in close contact with each other but related mathematical logic foundation sexual content. including classical logic and non-classical logic. constructive logic and modal logic. Mathematical logic for computer science (2nd edition) considered in the selection logic system characteristics. and to adapt to the requirements of the computer science. Seller Inventory # CC031992
Quantity: 1 available