Mathematical logic books

5407 books were found.

Logical Dynamics of Information and Interaction

Logical Dynamics of Information and Interaction
Author: Johan Van Benthem (Universiteit van Amsterdam) ISBN: 9781283378482 Format: Undefined	$330.00
Read More >>

Simplified Independence Proofs

Simplified Independence Proofs
Author: J Rosser , Unknown Author ISBN: 9781281766410 Format: Electronic book text	$231.11
Read More >>

Central European Functional Programming School

Central European Functional Programming School
Author: Rinus Plasmeijer ISBN: 9781283477413 Format: Undefined	$250.80
Read More >>

A Course on Set Theory

A Course on Set Theory
Author: Professor Ernest Schimmerling (Carnegie Mellon University, Pennsylvania) ISBN: 9781283307048 Format: Undefined	$514.80
Read More >>

Formal Methods for Components and Objects

Formal Methods for Components and Objects
Author: Marcello M Bonsangue , Stefan Hallerstede ISBN: 9781283477345 Format: Undefined	$219.12
Read More >>

Classical Mathematical Logic

Classical Mathematical Logic
Author: Richard L Epstein (University of Campinas, Berkeley, CA, USA) ISBN: 9781283519281 Format: Electronic book text	$396.00
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original... Read More >>

Theory of Computational Complexity

Theory of Computational Complexity
Author: Ding-Zhu Du (University of Minnesota) , Ker-I Ko (State University of New York at Stony Brook) ISBN: 9781283332033 Format: Electronic book text	$595.58
A complete treatment of fundamentals and recent advances in complexity theory Complexity theory studies the inherent... Read More >>

Learning to Reason

Learning to Reason
Author: Nancy Rodgers (Hanover College, Hanover, IN) ISBN: 9781283280037 Format: Electronic book text	$440.88
Read More >>

Advanced Lukasiewicz Calculus and Mv-Algebras

Advanced Lukasiewicz Calculus and Mv-Algebras
Author: D Mundici ISBN: 9781283476300 Format: Undefined	$419.76
Read More >>

Models and Games

Models and Games
Author: ISBN: 9781283118811 Format: Undefined	$330.00
Read More >>

Methods of Cut-Elimination

Methods of Cut-Elimination
Author: ISBN: 9781283086677 Format: Undefined	$472.56
Read More >>

Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (Volume IV)

Nonlinear Dynamics Perspective of Wolfram's New Kind...
Author: ISBN: 9781283234719 Format: Electronic book text	$609.84
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: Toshiyasu Arai , Qi Feng ISBN: 9781283433969 Format: Electronic book text	$340.56
Read More >>

Biological Petri Nets

Biological Petri Nets
Author: Edgar Wingender (GBF Braunschweig, FRG) ISBN: 9781283289597 Format: Undefined	$459.36
Read More >>

Lattice Basis Reduction

Lattice Basis Reduction
Author: Murray R Bremner (University of Saskatchewan, Saskatoon, Canada) ISBN: 9781283311502 Format: Undefined	$263.87
First developed in the early 1980s by Lenstra, Lenstra, and Lovasz, the LLL algorithm was originally used to provide... Read More >>

Logic of Mathematics

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

Search for Mathematical Roots, 1870-1940

Search for Mathematical Roots, 1870-1940
Author: I Grattan-Guinness ISBN: 9781283017756 Format: Electronic book text	$396.00
While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness... Read More >>

Origin of the Logic of Symbolic Mathematics, The: Edmund Husserl and Jacob Klein

Origin of the Logic of Symbolic Mathematics, The: Edmund...
Author: Burt C Hopkins ISBN: 9781283235907 Format: Undefined	$110.85
Read More >>

Animal Math: Compare with Bears

Animal Math: Compare with Bears
Author: Kate Mineo ISBN: 9781283243872 Format: Electronic book text	$59.66
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: 9781283316750 Format: Undefined	$330.00
Read More >>

An Introduction to Category Theory

An Introduction to Category Theory
Author: Harold Simmons (University of Manchester) ISBN: 9781283382595 Format: Undefined	$514.80
Read More >>

Optimization Methods for Logical Inference

Optimization Methods for Logical Inference
Author: Vijay Chandru , John Hooker (Carnegie Mellon University) ISBN: 9781283282635 Format: Electronic book text	$419.76
Read More >>

Apartness and Uniformity: A Constructive Development

Apartness and Uniformity: A Constructive Development...
Author: Douglas S Bridges ISBN: 9781283477659 Format: Undefined	$340.56
Read More >>

Independence-Friendly Logic: A Game-Theoretic Approach

Independence-Friendly Logic: A Game-Theoretic Approach...
Author: Allen L Mann (University of Tampere, Finland) , Gabriel Sandu (University of Helsinki) ISBN: 9781283112536 Format: Undefined	$330.00
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic.... Read More >>

Gentzen Calculi for Modal Propositional Logic

Gentzen Calculi for Modal Propositional Logic
Author: ISBN: 9781282996731 Format: Undefined	$472.56
Read More >>

Page 134 of 217 ... 129 130 131 132 133 134 135 136 137 138 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now