Mathematical logic books

5407 books were found.

Computing with Bio-Molecules: Theory and Experiments

Computing with Bio-Molecules: Theory and Experiments...
Author: Gheorghe Paun ISBN: 9789814021050 Format: Paperback	$242.88
A compilation of over 20 international contributions on the theoretical and experimental works of scientists in... Read More >>

Model Theory and Algebraic Geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

Model Theory and Algebraic Geometry: An introduction...
Author: Elisabeth Bouscaren ISBN: 9783540648635 Format: Paperback	$184.67
Illustrated by E. Hrushovski's model-theoretic proof of the geometric Mordell-Lang conjecture, this book updates... Read More >>

DNA Computing: New Computing Paradigms

DNA Computing: New Computing Paradigms
Author: Gheorghe Paun , Grzegorz Rozenberg ISBN: 9783540641964 Format: Hardback	$314.16
The premises of using carbon instead of silicon, and DNA molecules instead of microchips, have been studied extensively.... Read More >>

Quantum Logic

Quantum Logic
Author: Karl Svozil ISBN: 9789814021074 Format: Paperback	$303.60
Quantum Logic deals with the foundations of quantum mechanics and, related to it, the behaviour of finite, discrete... Read More >>

Mathematical Logic For Computer Science (2nd Edition)

Mathematical Logic For Computer Science (2nd Edition)...
Author: Zhongwan Lu (.) ISBN: 9789810230913 Format: Hardback	$219.12
Read More >>

Rough Sets in Knowledge Discovery 2: Applications, Case Studies and Software Systems

Rough Sets in Knowledge Discovery 2: Applications, Case...
Author: Lech Polkowski , Andrzej Skowron ISBN: 9783790811209 Format: Hardback	$657.36
The papers on rough set theory and its applications placed in this volume present a wide spectrum of problems representative... Read More >>

Schaum's Outline of Logic

Schaum's Outline of Logic
Author: John Nolt , Dennis Rohatyn ISBN: 9780070466494 Format: Paperback	$50.03
Schaum's Outlines present all the essential course information in an easy-to-follow, topic-by-topic format. You... Read More >>

The Incompleteness Phenomenon

The Incompleteness Phenomenon
Author: Martin Goldstern , Haim Judah ISBN: 9781568810935 Format: Paperback	$85.00
Read More >>

General Lattice Theory

General Lattice Theory
Author: B. A. Davey , R. Freese ISBN: 9783764352394 Format: Hardback	$356.40
The core of general lattice theory combines the advantages of an introductory text with those of a monograph to... Read More >>

Bounded Queries in Recursion Theory

Bounded Queries in Recursion Theory
Author: William Gasarch , Georgia Martin ISBN: 9783764339661 Format: Hardback	$172.95
Recursion theory in theoretical computer science has been a growing area for over a decade, and is taught in computer... Read More >>

Handbook of Proof Theory

Handbook of Proof Theory
Author: S.R. Buss (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, USA) ISBN: 9780444898401 Format: Hardback	$480.48
Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9780792351290 Format: Hardback	$789.36
rather the books present the concepts and methods now available in automated deduction in a form which can be... Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9780792351306 Format: Hardback	$765.60
BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of... Read More >>

Rough Sets in Knowledge Discovery: Methodology and Applications

Rough Sets in Knowledge Discovery: Methodology and Applications...
Author: Lech Polkowski , Andrzej Skowron ISBN: 9783790811193 Format: Hardback	$446.16
This work, together with Volume 2, brings together articles covering the current knowledge of rough sets in the... Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9780792351320 Format: Book	$1135.20
rather the books present the concepts and methods now available in automated deduction in a form which can be... Read More >>

Introduction To Formal Languages And Machine Computation, An

Introduction To Formal Languages And Machine Computation,...
Author: Song Y Yan (Aston Univ, Uk) ISBN: 9789810234225 Format: Paperback	$147.84
Read More >>

Introduction To Formal Languages And Machine Computation, An

Introduction To Formal Languages And Machine Computation,...
Author: Song Y Yan (Aston Univ, Uk) ISBN: 9789810221676 Format: Hardback	$295.68
This book provides an elementary introduction to formal languages and machine computation. The material covered... Read More >>

Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers
Author: John Robert Harrison ISBN: 9783540762560 Format: Hardback	$261.36
A discussion of the formal development of classical mathematics using a computer. It combines traditional lines... Read More >>

Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, Volume 137

Handbook of Proof Theory. Studies in Logic and the Foundations...
Author: Samuel R Buss ISBN: 9786611039189 Format: Electronic book text	$960.96
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects.... Read More >>

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Classical and Fuzzy Concepts in Mathematical Logic and...
Author: Mircea S. Reghis , Eugene Roventa ISBN: 9780849331978 Format: Hardback	$221.00
Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels... Read More >>

Eine elementare Einfuhrung in die Theorie der Turing-Maschinen

Eine elementare Einfuhrung in die Theorie der Turing-Maschinen...
Author: Oswald Wiener , Manuel Bonik ISBN: 9783211827697 Format: Mixed media product	$105.95
KLAPPENTEXT:Alan Turings automatentheoretische UEberlegungen spielen eine massgebliche Rolle, wenn es gilt, die... Read More >>

Advances in Modal Logic: Volume 1

Advances in Modal Logic: Volume 1
Author: Marcus Kracht (Freie Universität Berlin) , Maarten de Rijke (Universiteit van Amsterdam) ISBN: 9781575861029 Format: Paperback	$92.40
This volume offers a perspective on modal logic. Read More >>

Advances in Modal Logic: Volume 1

Advances in Modal Logic: Volume 1
Author: Marcus Kracht (Freie Universität Berlin) , Maarten de Rijke (Universiteit van Amsterdam) ISBN: 9781575861036 Format: Hardback	$171.47
This volume offers a perspective on modal logic. Read More >>

Proceedings Of The Sixth Asian Logic Conference

Proceedings Of The Sixth Asian Logic Conference
Author: Chi Tat Chong (Nus, S'pore) , Mariko Yasugi (Kyoto Sangyo Univ, Japan) ISBN: 9789810234324 Format: Paperback	$190.08
This volume collects written versions of invited and contributed talks presented at the conference. Read More >>

A Course on Borel Sets

A Course on Borel Sets
Author: S.M. Srivastava ISBN: 9780387984124 Format: Hardback	$261.36
A Course on Borel sets provides an introduction to Borel sets and measurable selections and acts as a stepping stone... Read More >>

Page 191 of 217 ... 186 187 188 189 190 191 192 193 194 195 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now