Mathematical logic books

5407 books were found.

Industrial Deployment of System Engineering Methods

Industrial Deployment of System Engineering Methods...
Author: Alexander Romanovsky , Martyn Thomas ISBN: 9781299860568 Format: Undefined	$287.76
This book summarizes the results of research on engineering methods for dependable systems through the deployment... Read More >>

Lattice Sums Then and Now

Lattice Sums Then and Now
Author: J M Borwein (University of Newcastle, New South Wales) , M L Glasser (Clarkson University, New York) ISBN: 9781306072083 Format: Undefined	$330.00
Read More >>

A Guide to EC Environmental Law

A Guide to EC Environmental Law
Author: Dorothy Gillies (Previously Lecturer in Law, University of Glasgow. Now, owner of peonyandthistle.com) , Dorothy Gillies (Previously Lecturer in Law, University of Glasgow. Now, owner of peonyandthistle.com) ISBN: 9781306113335 Format: Electronic book text	$467.15
Read More >>

Smartest Prep

Smartest Prep
Author: Pratheep Sevanthinathan , Padmini Raghavan ISBN: 9781306203081 Format: Electronic book text	$79.17
Read More >>

The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems

The Mathematics of Coordinated Inference: A Study of...
Author: ISBN: 9781306198936 Format: Electronic book text	$287.76
Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will... Read More >>

Effective Mathematics of the Uncountable

Effective Mathematics of the Uncountable
Author: Noam Greenberg (Victoria University of Wellington) , Denis Hirschfeldt (University of Chicago) ISBN: 9781306211901 Format: Undefined	$330.00
Classical computable model theory is most naturally concerned with countable domains. There are, however, several... Read More >>

The Axiom of Choice

The Axiom of Choice
Author: Thomas J Jech ISBN: 9781306324465 Format: Undefined	$39.47
Comprehensive in its selection of topics and results, this self-contained text examines the relative strengths and... Read More >>

Mysticism and Logic

Mysticism and Logic
Author: Bertrand Russell, Earl ISBN: 9781306392112 Format: Electronic book text	$31.55
Russell explains his theory of logical atomism in 10 brilliant essays, which include popular treatments of religious... Read More >>

Russell's Philosophy of Logical Analysis, 1897-1905

Russell's Philosophy of Logical Analysis, 1897-1905...
Author: Jolen Galaugher ISBN: 9781306178884 Format: Electronic book text	$277.20
Read More >>

Simplicity Theory

Simplicity Theory
Author: Professor of Mathematics Byunghan Kim (Department of Mathematics, Yonsei University, South Korea) ISBN: 9781299963702 Format: Electronic book text	$633.47
Read More >>

Lambda Calculus with Types

Lambda Calculus with Types
Author: Henk Barendregt (Radboud Universiteit Nijmegen) , Wil Dekkers (Radboud Universiteit Nijmegen) ISBN: 9781299772748 Format: Undefined	$330.00
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and... Read More >>

Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God

Mathematical Undecidability, Quantum Nonlocality and...
Author: A. Driessen , Antoine Suarez ISBN: 9789401062831 Format: Paperback	$290.37
: - the Center for Quantum Philosophy, - the Wealth Creation and Sustainable Development Group, - the Neural Science... Read More >>

Mathematische Grundlagen der Ingenieurinformatik

Mathematische Grundlagen der Ingenieurinformatik
Author: Peter J. Pahl , Rudolf Damrath ISBN: 9783642629396 Format: Paperback	$316.77
Einige der Gründe für diese Veränderungen sind die ganzheitliche Betrachtung von Markt, Produkt, Wirtschaft und... Read More >>

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International...
Author: Sergei Artemov , Anil Nerode ISBN: 9783642357213 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer... Read More >>

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

Mathematics in Computing: An Accessible Guide to Historical,...
Author: Gerard O’Regan ISBN: 9781447145332 Format: Hardback	$171.57
Read More >>

Logic and Structure

Logic and Structure
Author: Dirk van Dalen ISBN: 9781447145578 Format: Paperback	$155.22
Read More >>

Fuzzy Set Theory and Advanced Mathematical Applications

Fuzzy Set Theory and Advanced Mathematical Applications...
Author: Da Ruan ISBN: 9781461360001 Format: Paperback	$448.77
Fuzzy Set Theory and Advanced Mathematical Applications contains contributions by many of the leading experts in... Read More >>

Fuzzy Algorithms for Control

Fuzzy Algorithms for Control
Author: H. B. Verbruggen , Hans-Jürgen Zimmermann ISBN: 9789401058933 Format: Paperback	$290.37
It is shown that fuzzy control in combination with other techniques such as fuzzy data analysis is an effective... Read More >>

First-Order Programming Theories

First-Order Programming Theories
Author: Tamas Gergely , Laszlo Ury ISBN: 9783642635038 Format: Paperback	$290.37
This work presents a purely classical first-order logical approach to the field of study in theoretical computer... Read More >>

A Tribute to Prof. Dr. Da Ruan

A Tribute to Prof. Dr. Da Ruan
Author: ISBN: 9781283630146 Format: Undefined	$340.56
This volume is a tribute to Professor Dr Da Ruan, who passed away suddenly on July 31, 2011, aged 50. The flood... Read More >>

Student Solutions Manual for a Transition to Abstract Mathematics

Student Solutions Manual for a Transition to Abstract...
Author: Randall Maddox ISBN: 9781282258464 Format: Electronic book text	$47.49
Student Solutions Manual for A Transition to Abstract Mathematics Read More >>

Soft Computing Applications: Proceedings of the 5th International Workshop Soft Computing Applications (Sofa)

Soft Computing Applications: Proceedings of the 5th...
Author: Valentina Emilia Balas ISBN: 9781283911306 Format: Undefined	$472.56
Read More >>

Non-Axiomatic Logic

Non-Axiomatic Logic
Author: Pei Wang ISBN: 9781299556560 Format: Electronic book text	$335.28
This book provides a systematic and comprehensive description of Non-Axiomatic Logic, which is the result of the... Read More >>

Golden Ticket

Golden Ticket
Author: Lance Fortnow ISBN: 9781299156562 Format: Electronic book text	$88.44
The P-NP problem is the most important open problem in computer science, if not all of mathematics. The Golden... Read More >>

Gendered New World Order, The: Militarism, Development, and the Environment

Gendered New World Order, The: Militarism, Development,...
Author: Jennifer Turpin , Lois Ann Lorentzen ISBN: 9781306111072 Format: Electronic book text	$422.40
Read More >>

Page 105 of 217 ... 100 101 102 103 104 105 106 107 108 109 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now