Posted by **Willson** at July 21, 2017

English | 2013 | ISBN: 0521766141 | 856 pages | PDF | 4.4 MB

Posted by **AlenMiler** at March 23, 2015

English | Mar 27, 2015 | ISBN: 1107042305 | 354 Pages | AZW3/EPUB/PDF (conv) | 19.8 MB

Pure inductive logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years plus the main contributions of the authors and their collaborators over the last decade to present a comprehensive account of the discipline within a single unified context.

Posted by **interes** at June 5, 2013

English | 2013 | ISBN: 0521766141 | ISBN-13: 9780521766142 | 860 pages | PDF | 4,4 MB

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984).

Posted by **DZ123** at Sept. 6, 2017

English | 2014 | ISBN: 3662441152 | PDF | pages: 267 | 5.0 mb

Posted by **hill0** at Aug. 21, 2017

English | 30 May 2017 | ISBN: 3319549804 | 296 Pages | PDF | 6.77 MB

This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other.

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

English | ISBN: 3319549804 | 2017 | 275 pages | PDF | 7 MB

Posted by **bookwyrm** at Dec. 15, 2014

2012 | 300 Pages | ISBN: 8847025648 | PDF | 6 MB

Posted by **tanas.olesya** at Oct. 6, 2014

Amsterdam University Press | July 15, 2008 | English | ISBN: 9053565760 | 736 pages | PDF | 4 MB

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.

Posted by **ChrisRedfield** at June 19, 2014

Published: 2013-09-23 | ISBN: 3319017411 | PDF | 200 pages | 3 MB

Posted by **tukotikko** at March 14, 2014

2012 | 300 Pages | ISBN: 8847025648 | PDF | 6 MB