Mathematical logic books

5407 books were found.

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2

Motivic Integration and its Interactions with Model...
Author: Raf Cluckers (Université de Lille) , Johannes Nicaise (Katholieke Universiteit Leuven, Belgium) ISBN: 9780511984433 Format: Undefined	$435.60
Assembles different theories of motivic integration for the first time, providing all of the necessary background... Read More >>

Mathematical Logic with Special Reference to the Natural Numbers

Mathematical Logic with Special Reference to the Natural...
Author: S. W. P. Steen (University of Cambridge) ISBN: 9780511897320 Format: Undefined	$435.60
This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the... Read More >>

Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem...
Author: Sara Negri (University of Helsinki) , Jan von Plato (University of Helsinki) ISBN: 9781139003513 Format: Undefined	$435.60
A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers... Read More >>

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1

Motivic Integration and its Interactions with Model...
Author: Raf Cluckers (Université de Lille) , Johannes Nicaise (Katholieke Universiteit Leuven, Belgium) ISBN: 9780511667534 Format: Undefined	$435.60
Assembles different theories of motivic integration for the first time, providing all of the necessary background... Read More >>

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

Set Theory, Arithmetic, and Foundations of Mathematics:...
Author: Juliette Kennedy (University of Helsinki) , Roman Kossak (City University of New York) ISBN: 9780511910616 Format: Undefined	$435.60
In this collection of papers, outstanding members of the field provide a historical and philosophical treatment... Read More >>

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

Proceedings Of The 11th Asian Logic Conference: In Honor...
Author: Byunghan Kim (Yonsei Univ, South Korea) , Toshiyasu Arai (Chiba Univ, Japan) ISBN: 9789814360531 Format: Hardback	$261.36
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. The 11th... Read More >>

Motivic Integration and Its Interactions with Model Theory and Non-Archimedean Geometry, Volume I

Motivic Integration and Its Interactions with Model...
Author: Raf Cluckers (Universit?? de Lille) , Johannes Nicaise (Katholieke Universiteit Leuven, Belgium) ISBN: 9786613316615 Format: Electronic book text	$205.92
The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other... Read More >>

Motivic Integration and Its Interactions with Model Theory and Non-Archimedean Geometry, Volume II

Motivic Integration and Its Interactions with Model...
Author: Raf Cluckers (Universit?? de Lille) , Johannes Nicaise (Katholieke Universiteit Leuven, Belgium) ISBN: 9786613316844 Format: Electronic book text	$205.92
The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other... Read More >>

Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem...
Author: Sara Negri , Jan Von Plato ISBN: 9786613316769 Format: Electronic book text	$285.12
Read More >>

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications

Lattice Basis Reduction: An Introduction to the LLL...
Author: Murray R. Bremner ISBN: 9781439807026 Format: Hardback	$231.00
First realized in the 1980s by Lenstra, Lenstra, and Lovasz, the LLL algorithm was originally intended to factor... Read More >>

Logical Dynamics of Information and Interaction

Logical Dynamics of Information and Interaction
Author: Johan Van Benthem ISBN: 9786613378484 Format: Electronic book text	$285.12
This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between... Read More >>

The Nature of Computation

The Nature of Computation
Author: Cristopher Moore (, Santa Fe Institute) , Stephan Mertens (Institute of Theoretical Physics, Otto-von-Guericke University, Magdeburg, and External Professor, Santa Fe Institute) ISBN: 9780199233212 Format: Hardback	$189.95
Why are some problems easy to solve, while others seem nearly impossible? What can we compute with a given amount... Read More >>

Visual Cryptography and Secret Image Sharing

Visual Cryptography and Secret Image Sharing
Author: Stelvio Cimato (Universita degli studi di Milano, Italy) , Ching-Nung Yang (National Dong Hwa University, Taiwan) ISBN: 9781439837214 Format: Hardback	$410.00
With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish,... Read More >>

Logic of Mathematics

Logic of Mathematics
Author: Zofia Adamowicz (Institute of Mathematics of the Polish Academy of Sciences) , Pawel Zbierski (Warsaw Univ.) ISBN: 9786613282576 Format: Electronic book text	$519.55
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for... Read More >>

Optimization Methods for Logical Inference

Optimization Methods for Logical Inference
Author: Vijay Chandru , John Hooker (Carnegie Mellon University) ISBN: 9786613282637 Format: Electronic book text	$503.71
The techniques of combinatorial optimization, as developed in operations research and computer science, can be powerful... Read More >>

An Introduction to Category Theory

An Introduction to Category Theory
Author: Harold Simmons (University of Manchester) ISBN: 9786613382597 Format: Electronic book text	$285.12
The basics of category theory beautifully explained with a wealth of exercises. Solutions are available online.... Read More >>

Combinatory Logic: Pure, Applied and Typed

Combinatory Logic: Pure, Applied and Typed
Author: Katalin Bimbo ISBN: 9781439800003 Format: Hardback	$284.00
Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic.... Read More >>

Learning to Reason: An Introduction to Logic, Sets, and Relations

Learning to Reason: An Introduction to Logic, Sets,...
Author: Nancy Rodgers (Hanover College, Hanover, IN) ISBN: 9786613280039 Format: Electronic book text	$529.06
Learn how to develop your reasoning skills and how to write well-reasoned proofs <br>Learning to Reason shows you... Read More >>

Zariski Geometries: Geometry from the Logician's Point of View

Zariski Geometries: Geometry from the Logician's Point...
Author: Boris Zilber (University of Oxford) ISBN: 9781139107044 Format: Undefined	$435.60
This book presents methods and results from the theory of Zariski structures and discusses their applications in... Read More >>

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

Quantifiers, Propositions and Identity: Admissible Semantics...
Author: Robert Goldblatt (Victoria University of Wellington) ISBN: 9780511862359 Format: Undefined	$435.60
Develops new semantical characterisations of many logical systems with quantification that are incomplete under... Read More >>

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Kurt Gödel and the Foundations of Mathematics: Horizons...
Author: Matthias Baaz (Technische Universität Wien, Austria) , Christos H. Papadimitriou (University of California, Berkeley) ISBN: 9780511974236 Format: Undefined	$594.00
This volume commemorates the life, work and foundational views of Kurt Gödel by exploring the impact of his work... Read More >>

Nonmonotonic Reasoning. Essays Celebrating Its 30th Anniversary

Nonmonotonic Reasoning. Essays Celebrating Its 30th...
Author: Gerhard Brewka (GMD, Schloss Birlinghoven, Germany) , Victor W. Marek ISBN: 9781848900424 Format: Paperback	$36.22
Read More >>

Origin of the Logic of Symbolic Mathematics

Origin of the Logic of Symbolic Mathematics
Author: Burt C Hopkins ISBN: 9786613235909 Format: Electronic book text	$132.90
Read More >>

Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

Set Theory, Arithmetic, and Foundations of Mathematics:...
Author: Juliette Kennedy , Roman Kossak ISBN: 9786613316752 Format: Electronic book text	$221.76
Read More >>

From Asynchronous Logic to The Standard Model to Superflight to the Stars

From Asynchronous Logic to The Standard Model to Superflight...
Author: Stephen Blaha ISBN: 9780984553037 Format: Paperback	$234.96
"This edition is the latest in a series of books by this author that have appeared in the past ten years that seek... Read More >>

Page 122 of 217 ... 117 118 119 120 121 122 123 124 125 126 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now