No cover art

Burris S. Logic for Mathematics and Computer Science 1998

Size
47 MB
Seeders
1
Leechers
0
Files
1
Category
Added
at 1:37pm GMT+1
Infohash
ee6248e34958c2b8a2b5535b4d9a334783af327f

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

File list
  • Burris S. Logic for Mathematics and Computer Science 1998
  • Burris S. Logic for Mathematics and Computer Science 1998.pdf 46.9 MB

Rating
Not rated yet
Log in to rate

Comments

No comments yet.