Posted by **arundhati** at Oct. 26, 2016

2013 | ISBN: 0521592690, 0521597188 | 364 pages | EPUB, PDF (conv) | 16 MB

Posted by **tukotikko** at June 22, 2015

2011 | 648 Pages | ISBN: 0495826170 | PDF | 13 MB

Posted by **arundhati** at Sept. 26, 2013

2013 | ASIN: B00AKE1PT6 | ISBN: 0521592690, 0521597188 | 364 pages | EPUB | 9,3 MB

Posted by **Sangviniy** at March 17, 2017

English | Oct. 28, 1996 | ISBN: 0691029067 | 378 Pages | PDF | 27.5 MB

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today.

Posted by **roxul** at May 26, 2017

2013 | ISBN-10: 1118164024 | 320 pages | PDF | 4,4 MB

Posted by **roxul** at May 22, 2017

2012 | ISBN-10: 0615653634 | 102 pages | PDF | 1,2 MB

Posted by **roxul** at May 21, 2017

English | ISBN: 0199641390 | 2013 | 728 pages | PDF | 3 MB

Posted by **libr** at May 16, 2017

English | 2001 | ISBN: 0521496500, 0521499739 | 256 pages | PDF | 2,8 MB

Posted by **interes** at May 9, 2017

English | 2014 | ISBN: 1482246872 | 414 pages | PDF | 2,7 MB

Posted by **nebulae** at April 29, 2017

English | ISBN: 1482227533 | 2015 | 605 pages | PDF | 5 MB