Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science. In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
"synopsis" may belong to another edition of this title.
Describes the aspects of mathematical logic which are related to computer science. This book deals with both the peculiarities of logical systems and the requirements of computer science. In this edition, the proofs and explanations have been increased and rewritten, with new terms and notations.
"About this title" may belong to another edition of this title.
£ 11.77 shipping from Canada to United Kingdom
Destination, rates & speedsSeller: Samuel S Lin, Etobicoke, ON, Canada
Soft cover. Condition: Near Fine. 2nd Edition. 246 pages. Trade size paperback. Small name on bottom of title page otherwise like new. Seller Inventory # 2311265
Quantity: 1 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9789810230913_new
Quantity: Over 20 available
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9789810230913
Quantity: Over 20 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 20129191-n
Quantity: Over 20 available
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnMathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book. Seller Inventory # 449933727
Quantity: Over 20 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2nd edition. 244 pages. 9.00x6.50x1.00 inches. In Stock. Seller Inventory # x-9810230915
Quantity: 2 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations. Seller Inventory # 9789810230913
Quantity: 1 available
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA75898102309155
Quantity: 1 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 20129191
Quantity: Over 20 available