Posted by **stephan89** at Nov. 10, 2015

English | 153 Files | PDF-DOC | 1.36 GB

This is the largest collection I've ever seen, I have not seen it around for a while so I am reseeding it.

Posted by **Nice_smile)** at Sept. 18, 2015

English | June 1, 2010 | ISBN: 0495562025 | 416 Pages | PDF | 5.15 MB

A TRANSITION TO ADVANCED MATHEMATICS helps students make the transition from calculus to more proofs-oriented mathematical study.

Posted by **arundhati** at Aug. 3, 2015

2012 | ISBN: 9780957742802, 0957742800 | 415 pages | PDF | 22 MB

Posted by **nebulae** at July 19, 2015

English | ISBN: 1439898340 | 2012 | 367 pages | PDF | 1 MB

Posted by **ChrisRedfield** at April 7, 2015

Published: 2009-12-01 | ISBN: 8122426859 | PDF | 324 pages | 3 MB

Posted by **tanas.olesya** at Feb. 5, 2015

English | Oct 29, 1982 | ISBN: 0521231965 | 235 Pages | PDF | 9 MB

This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decomposed and simulated by simpler ones.

Posted by **thingska** at Dec. 12, 2014

English | December 27, 1994 | ISBN: 0849384907 | 288 pages | PDF | 12,8 MB

Posted by **tukotikko** at Oct. 23, 2014

2012 | 416 Pages | ISBN: 0321797094 | PDF | 3 MB

Posted by **tanas.olesya** at Sept. 27, 2014

Cambridge University Press | March 25, 1988 | English | ISBN: 0521356539 | 301 pages | PDF | 32 MB

In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same.

Posted by **arundhati** at July 26, 2014

2003 | ISBN-10: 9812382917, 9812382925 | 896 pages | PDF | 28 MB