Mathematical logic books

5407 books were found.

Interpolation Theory and Its Applications

Interpolation Theory and Its Applications
Author: Lev A. Sakhnovich ISBN: 9789401065160 Format: Paperback	$145.17
Following the method of operator identities we formulate a general interpolation problem containing the classical... Read More >>

Nearrings, Nearfields and K-Loops: Proceedings of the Conference on Nearrings and Nearfields, Hamburg, Germany, July 30–August 6,1995

Nearrings, Nearfields and K-Loops: Proceedings of the...
Author: Gerhard Saad , Momme Johs Thomsen ISBN: 9789401071635 Format: Paperback	$290.37
In its position between group theory and ring theory, this relatively... Read More >>

Québec Studies in the Philosophy of Science: Part I: Logic, Mathematics, Physics and History of Science

Québec Studies in the Philosophy of Science: Part I:...
Author: Mathieu Marion , Robert S. Cohen ISBN: 9789401072045 Format: Paperback	$290.37
By North-American standards, philosophy is not new in Quebec: the first men tion of philosophy lectures given by... Read More >>

Newton’s Method and Dynamical Systems

Newton’s Method and Dynamical Systems
Author: H.-O. Peitgen ISBN: 9789401075237 Format: Paperback	$448.77
Read More >>

Grenzen Der Mathematik: Eine Reise Durch Die Kerngebiete Der Mathematischen Logik

Grenzen Der Mathematik: Eine Reise Durch Die Kerngebiete...
Author: Dirk W Hoffmann ISBN: 9783827425591 Format: Paperback	$105.47
Read More >>

Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem...
Author: Professor Sara Negri (University of Helsinki) ISBN: 9781283316767 Format: Undefined	$496.32
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension... Read More >>

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Logic from Computer Science: Proceedings of a Workshop...
Author: Yiannis N. Moschovakis ISBN: 9781461276852 Format: Paperback	$290.37
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989,... Read More >>

Handbook of Metric Fixed Point Theory

Handbook of Metric Fixed Point Theory
Author: W.A. Kirk , B. Sims ISBN: 9789048157334 Format: Paperback	$630.96
Metric fixed point theory encompasses the branch of fixed point theory which metric conditions on the underlying... Read More >>

Schaum's Easy Outline of Logic, Revised Edition

Schaum's Easy Outline of Logic, Revised Edition
Author: John Nolt , Dennis Rohatyn ISBN: 9780071777537 Format: Paperback	$26.95
If you are looking for a quick nuts-and-bolts overview, turn to Schaum's Easy Outlines! Schaum's Easy Outline of... Read More >>

Domains and Lambda-Calculi

Domains and Lambda-Calculi
Author: Roberto M. Amadio (Université de Provence) , Pierre-Louis Curien (Ecole Normale Supérieure, Paris) ISBN: 9780511983504 Format: Undefined	$435.60
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide... Read More >>

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Proof Theory: A selection of papers from the Leeds Proof...
Author: Peter Aczel (University of Manchester) , Harold Simmons (University of Manchester) ISBN: 9780511896262 Format: Undefined	$435.60
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference... Read More >>

First Steps in Modal Logic

First Steps in Modal Logic
Author: Sally Popkorn ISBN: 9780511983382 Format: Undefined	$594.00
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers.... Read More >>

Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction
Author: Davide Sangiorgi , Jan Rutten (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam) ISBN: 9780511792588 Format: Undefined	$435.60
This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics.... Read More >>

Concepts and Fuzzy Logic

Concepts and Fuzzy Logic
Author: Radim Belohlavek , George J Klir (T.J. Watson School Engineer & Applied Science, NY State University of New York, Binghamton T.J. Watson School Engineer & Applied Science, NY) ISBN: 9786613302809 Format: Electronic book text	$110.88
<p>The classical view of concepts in psychology was challenged in the 1970swhen experimental evidence showed that... Read More >>

Truth and Falsehood: An Inquiry into Generalized Logical Values

Truth and Falsehood: An Inquiry into Generalized Logical...
Author: Yaroslav Shramko , Heinrich Wansing ISBN: 9789400709065 Format: Hardback	$366.96
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some... Read More >>

Theorems, Corollaries, Lemmas, and Methods of Proof

Theorems, Corollaries, Lemmas, and Methods of Proof...
Author: Richard J Rossi (Montana Tech, The Univ. of Montana) ISBN: 9786613298737 Format: Electronic book text	$405.50
A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning <br>Successfully... Read More >>

Cellular Automata: A Discrete View of the World

Cellular Automata: A Discrete View of the World
Author: Joel L Schiff (Univ. of Auckland, New Zealand) ISBN: 9786613306173 Format: Electronic book text	$440.35
An accessible and multidisciplinaryintroduction to cellular automata<p>As the applicability of cellular automata... 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: 9786613332035 Format: Electronic book text	$595.58
A complete treatment of fundamentals and recent advances in complexity theory Complexity theory studies the inherent... Read More >>

Sweet Reason: A Field Guide to Modern Logic

Sweet Reason: A Field Guide to Modern Logic
Author: James M. Henle (Smith College, USA) , Jay L. Garfield (Smith College, USA) ISBN: 9781444337150 Format: Paperback	$133.95
Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction... Read More >>

Elementary Lessons in Logic: Deductive and Inductive...

Elementary Lessons in Logic: Deductive and Inductive......
Author: William Stanley Jevons ISBN: 9781247539973 Format: Paperback	$86.46
Read More >>

The Last Roulette Secret: Forget the Dealer

The Last Roulette Secret: Forget the Dealer
Author: Rouletterwx ISBN: 9781461034957 Format: Paperback	$34.27
Why is The Last Roulette Secret the cheapest and the best roulette book available? Because it could pay itself off... Read More >>

Goedel's Way: Exploits Into an Undecidable World

Goedel's Way: Exploits Into an Undecidable World
Author: Gregory Chaitin (IBM Corporation, TJ Watson Research Center, NY, USA) ISBN: 9786613525109 Format: Electronic book text	$126.56
Goedel's Way: Exploits into an undecidable world Read More >>

Mathematical Logic and Model Theory: A Brief Introduction

Mathematical Logic and Model Theory: A Brief Introduction...
Author: Alexander Prestel , Charles N. Delzell ISBN: 9781447121756 Format: Paperback	$158.27
Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to... Read More >>

LMPS - Proc of 13th Int Congress, Vol 2

LMPS - Proc of 13th Int Congress, Vol 2
Author: Shushan Cai , Guoping Zeng ISBN: 9781848900455 Format: Paperback	$45.28
Read More >>

Naive Set Theory

Naive Set Theory
Author: Paul R Halmos ISBN: 9781614271314 Format: Paperback	$31.55
2011 Reprint of 1960 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software.... Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now