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 **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 **ksveta6** at Feb. 16, 2017

2015 | ISBN: 331923305X | English | 176 pages | EPUB | 2 MB

Posted by **Nice_smile)** at Feb. 16, 2017

English | 2006 | ISBN: 0823225313 | 464 Pages | PDF | 2.18 MB

Posted by **Nice_smile)** at Feb. 16, 2017

English | 2013 | ISBN: 052158583X | 276 Pages | PDF | 2.26 MB

Posted by **Nice_smile)** at Feb. 14, 2017

English | 1997 | ISBN: 311015269X | 302 Pages | DJVU | 2.50 MB

Posted by **roxul** at Feb. 12, 2017

2012 | ISBN-10: 0817682767 | 495 pages | PDF | 5,3 MB

Posted by **DZ123** at Feb. 11, 2017

English | 2013 | ISBN: 0823240029 | PDF | pages: 131 | 6.9 mb

Posted by **ChrisRedfield** at Feb. 10, 2017

Published: 2006-02-10 | ISBN: 3540304320, 3642434347 | PDF | 378 pages | 2.92 MB