Don't like banners? Log in and we will make sure you see no banners. For free.
No cover art

Burris S. Logic for Mathematics and Computer Science 1998

Size
47 MB
Seeders
0
Leechers
1
Files
1
Category
Added
at 1:37pm GMT+1
Infohash
ee6248e34958c2b8a2b5535b4d9a334783af327f
Don't like banners? Log in and we will make sure you see no banners. For free.

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.