Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

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 logic that is both theoretically sound and easy to under...

Full description

Bibliographic Details
Main Author: Ben-Ari, Mordechai (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2012.
Edition:3rd ed. 2012.
Subjects:
Computer science.
Mathematical logic.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items