Burris S. Logic for Mathematics and Computer Science 1998
Download Torrent
Opens in your torrent client (e.g. qBittorrent)
Health
Good3/0
Info HashEE6248E34958C2B8A2B5535B4D9A334783AF327F
Peers Updated9 hours ago (2026-03-24 04:16:34)
Description
Textbook in PDF format
This book provides an elementary hands-on presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics