Proofs and Algorithms: An Introduction to Logic and Computability

Author
Gilles Dowek (auth.)
Publisher
Springer-Verlag London
Language
English
Edition
1
Year
2011
Page
156
ISBN
0857291203,9780857291202
File Type
pdf
File Size
1.6 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book