Mathematical logic books

5407 books were found.

Implementing Sustainable Development: Strategies and Initiatives in High Consumption Societies

Implementing Sustainable Development: Strategies and...
Author: Professor of Political Science and Director of the Research Programme Prosus William M Lafferty (University of Oslo) , James Meadowcroft (University of Sheffield) ISBN: 9781281943804 Format: Electronic book text	$212.04
This book examines how governments in industrialized countries have engaged with the challenge of sustained development... Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525640 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525596 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525701 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev , M Boffa ISBN: 9781282618664 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525619 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525732 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525817 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525541 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev Beklemishev ISBN: 9781282309289 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525398 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

100 Years of Planck's Quantum

100 Years of Planck's Quantum
Author: Ian Duck , E C Sudarshan ISBN: 9781299615687 Format: Electronic book text	$617.76
This invaluable book takes the reader from Planck's discovery of the quantum in 1900 to the most recent interpretations... Read More >>

The Satisfiability Problem: Boolean Functions

The Satisfiability Problem: Boolean Functions
Author: FRANCO ISBN: 9780444504104 Format: Hardback	$858.00
Read More >>

Frege and Godel: Two Fundamental Texts in Mathematical Logic

Frege and Godel: Two Fundamental Texts in Mathematical...
Author: van Heijenoort, Jean ISBN: 9781583485965 Format: Paperback	$26.27
Read More >>

Uncertainty-Based Information: Elements of Generalized Information Theory

Uncertainty-Based Information: Elements of Generalized...
Author: George J. Klir , Mark J. Wierman ISBN: 9783790812428 Format: Hardback	$366.96
Colleges give degrees in information science and information management. The purpose of this volume is to introduce... Read More >>

Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers

Automata Implementation: Third International Workshop...
Author: Jean-Marc Champarnaud , Denis Maurel ISBN: 9783540666523 Format: Paperback	$184.67
The papers contained in this volume were presented at the third international Workshop on Implementing Automata,... Read More >>

Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Logic and Foundations of Mathematics: Selected Contributed...
Author: Andrea Cantini , Ettore Casari ISBN: 9780792356592 Format: Hardback	$340.56
The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in... Read More >>

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

Recursive Functions and Metamathematics: Problems of...
Author: Roman Murawski ISBN: 9780792359043 Format: Hardback	$522.72
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using... Read More >>

Recueil de petits problèmes en Scheme

Recueil de petits problèmes en Scheme
Author: L. Moreau , C. Queinnec ISBN: 9783540660439 Format: Paperback	$158.27
Le but de ce livre est de fournir des gammes d'exercices autour du concept de récursion. Scheme est le language... Read More >>

Classical Recursion Theory, Volume II

Classical Recursion Theory, Volume II
Author: P. Odifreddi (University of Turin, Italy) ISBN: 9780444502056 Format: Hardback	$477.84
Read More >>

Introduction to Cardinal Arithmetic

Introduction to Cardinal Arithmetic
Author: Michael Holz , Karsten Steffens ISBN: 9783764361242 Format: Hardback	$232.19
An introduction to cardinal arithmetic which also includes pcf theory. Read More >>

Boolean Valued Analysis

Boolean Valued Analysis
Author: Anatoly G. Kusraev , Semen S. Kutateladze ISBN: 9780792359210 Format: Hardback	$564.96
Read More >>

Finite Model Theory

Finite Model Theory
Author: Heinz-Dieter Ebbinghaus , J�rg Flum ISBN: 9783540657583 Format: Paperback	$237.47
This book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability... Read More >>

Handbook of Computability Theory. Studies in Logic and the Foundations of Mathematics, Volume 140.

Handbook of Computability Theory. Studies in Logic and...
Author: E R Griffor ISBN: 9786611029043 Format: Electronic book text	$971.52
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active... Read More >>

Recursion Theory and Complexity: Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997

Recursion Theory and Complexity: Proceedings of the...
Author: Marat M. Arslanov , Steffen Lempp ISBN: 9783110165876 Format: Hardback	$483.12
Read More >>

Page 188 of 217 ... 183 184 185 186 187 188 189 190 191 192 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now