|
| € 103.36 This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It... € 87.76 1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this...
€ 13.37 € 11.36 Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations... € 70.55 From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or...
€ 76.66 This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book... € 80.18 This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof...
€ 122.04 This volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de... € 24.78 This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2010, Hejnice, the...
€ 62.27 Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This... € 19.41 In The Mathematical Analysis of Logic, mathematician George Boole persuasively argues that logic should be aligned with mathematics, not...
€ 42.62 Diagrams are widely used in reasoning about problems in physics, mathematics, and logic, but have traditionally been considered to be only... € 56.95 This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and...
€ 46.00 This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of... € 10.70 € 9.09 In 1931, Kurt Godel published his fundamental paper that challenged certain basic assumptions underlying much research in mathematics and...
€ 12.40 € 10.54 Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence,... € 12.45 € 10.58 Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use...
€ 38.05 An accessible introduction to many-valued and fuzzy logic designed for undergraduate and graduate students. € 31.69 Computability and Logic is a classic because of its accessibility to students without a mathematical background.
€ 26.18 This monograph is an investigation into certain new logical structures implicit in the formalism of quantum mechanics. Its message rests on... € 33.25 Peter Smith examines G del's Theorems, how they were established and why they matter.
€ 19.66 Logic in Arithmetic An introduction to mathematical logic and Peano Arithmetic, including Gentzen's consistency proof and the... € 11.86 A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
€ 69.39 You' ve got a lot of problems. That's a good thing. Across the country, people are joining math clubs, entering math contests, and training... € 11.70 € 9.94 This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic,...
|
|
Carrello
€ 689.55
€ 10.70 € 9.09
€ 17.27 € 14.68![Bookkeeping Kit for Dummies [With CDROM]](http://img3.libreriauniversitaria.it/BUS/100/645/9781118116456.jpg "Bookkeeping Kit for Dummies [With CDROM]")
€ 28.80 € 24.48
€ 32.74
€ 17.29 € 14.70