Mathematical logic books

5407 books were found.

Sequencing, Grade 3

Sequencing, Grade 3
Author: Renee Cummings , Instructional Fair ISBN: 9780880129633 Format: Paperback	$18.45
The high-interest stories and illustrations in this book will motivate your students to learn every aspect of sequencing... Read More >>

Small Parameter Method in Multidimensional Inverse Problems

Small Parameter Method in Multidimensional Inverse Problems...
Author: A.S. Barashkov ISBN: 9789067642958 Format: Hardback	$446.16
Provides a method for investigating and solving multidimensional inverse problems. In the text, magnetotelluric... Read More >>

Cellular Automata and Complex Systems

Cellular Automata and Complex Systems
Author: E. Goles , Servet Martínez ISBN: 9780792355120 Format: Hardback	$390.72
This text contains the courses given on Complex Systems held at Santiago, Chile, 1996, by researchers working on... Read More >>

Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, Volume 141.

Categorical Logic and Type Theory. Studies in Logic...
Author: B Jacobs ISBN: 9786611048266 Format: Electronic book text	$942.48
This text attempts to give a systematic presentation of both logic and type theory from a categorical perspective,... Read More >>

Categorical Logic and Type Theory

Categorical Logic and Type Theory
Author: B Jacobs ISBN: 9781281048264 Format: Undefined	$792.00
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective,... Read More >>

Handbook of Computability Theory

Handbook of Computability Theory
Author: E R Griffor , E R Griffor ISBN: 9781281029041 Format: Electronic book text	$633.60
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active... Read More >>

Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science

Applied Formal Methods FM-Trends 98: International Workshop...
Author: Dieter Hutter , Werner Stephan ISBN: 9781280956775 Format: Undefined	$234.51
This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Current... Read More >>

Mathematical Foundations of Computer Science 1999: 24th International Symposium, Mfcs'99 Szklarska Poreba, Poland, September 6-10,1999 Proceedings. Lecture Notes in Computer Science, Volume 1672.

Mathematical Foundations of Computer Science 1999: 24th...
Author: Miroslaw Kutylowski , Leszek Pacholski ISBN: 9781280957772 Format: Undefined	$251.06
This book constitutes the refereed proceedings of the 24th International Symposium on Mathematical Foundations of... Read More >>

Set Theory

Set Theory
Author: Andras Hajnal (Rutgers University, New Jersey) , Peter Hamburger (Purdue University, Indiana) ISBN: 9781299409156 Format: Undefined	$514.80
This is a classic introduction to set theory, from the basics through to the modern tools of combinatorial set theory.... Read More >>

Semimodular Lattices

Semimodular Lattices
Author: Manfred Stern ISBN: 9781306148498 Format: Undefined	$330.00
Read More >>

The Principles of Inductive Logic

The Principles of Inductive Logic
Author: John Venn ISBN: 9780828402651 Format: Hardback	$139.60
Read More >>

The Importance of Being Fuzzy: And Other Insights from the Border between Math and Computers

The Importance of Being Fuzzy: And Other Insights from...
Author: Arturo Sangalli ISBN: 9780691001449 Format: Hardback	$155.00
Read More >>

Computational Intelligence: Theory and Applications: International Conference, 6th Fuzzy Days Dortmund, Germany, May 25-28, 1999 Proceedings. Lecture Notes in Computer Science, Volume 1625.

Computational Intelligence: Theory and Applications:...
Author: Bernd Reusch ISBN: 9781280957956 Format: Undefined	$336.57
This book constitutes the refereed proceedings of the International Conference on Computational Intelligence, 6th... Read More >>

Parameterized Complexity

Parameterized Complexity
Author: Rodney G. Downey , M.R. Fellows ISBN: 9780387948836 Format: Hardback	$319.44
Read More >>

Fibring Logics

Fibring Logics
Author: Dov M. Gabbay (Professor of Computer Science, Professor of Computer Science, King's College, London) ISBN: 9780198503811 Format: Hardback	$167.95
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems... Read More >>

Basic Posets

Basic Posets
Author: Sik Kim Hee (Hanyang Univ, Korea) , Joseph Neggers (Univ Of Alabama, Usa) ISBN: 9789810235895 Format: Hardback	$95.04
Read More >>

Belief Change

Belief Change
Author: Dov M. Gabbay , Philippe Smets ISBN: 9780792351627 Format: Hardback	$1000.56
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics... Read More >>

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Twenty-Five Years of Constructive Type Theory: Proceedings...
Author: Giovanni Sambin , Jan Smith ISBN: 9786610819720 Format: Electronic book text	$513.77
Read More >>

Truth in Mathematics

Truth in Mathematics
Author: H. G. Dales (Professor of Pure Mathematics, Professor of Pure Mathematics, University of Leeds) , G. Oliveri (, Wolfson College, Oxford) ISBN: 9780198514763 Format: Hardback	$425.95
This book contains an overview of the forefront of research into the nature of truth in mathematics, and is unique... Read More >>

Twenty Five Years of Constructive Type Theory

Twenty Five Years of Constructive Type Theory
Author: Giovanni Sambin (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) , Jan M. Smith (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Sweden) ISBN: 9780198501275 Format: Hardback	$120.95
Martin-Lof Type Theory is a formalization and a focus for a charismatic view of the foundations of mathematics.... Read More >>

Handbook of Recursive Mathematics, Volume 2: Recursive Algebra, Analysis and Combinatorics. Studies in Logic and the Foundations of Mathematics, Volume 139.

Handbook of Recursive Mathematics, Volume 2: Recursive...
Author: Y L Ershov , S S Goncharov ISBN: 9786611049997 Format: Electronic book text	$955.68
Read More >>

Handbook of Recursive Mathematics: Volume 1; Recursive Model Theory. Studies in Logic and the Foundations of Mathematics, Volume 138.

Handbook of Recursive Mathematics: Volume 1; Recursive...
Author: Y L Ershov , S S Goncharov ISBN: 9786611054564 Format: Electronic book text	$776.16
Read More >>

Cellular Automata: Research Towards Industry: ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998

Cellular Automata: Research Towards Industry: ACRI’98...
Author: Roberto Serra , Furio Suggi Liverani ISBN: 9781852330484 Format: Paperback	$290.37
Cellular Automata (CA), about to enter their fifties, are coming of age, seen by the breadth and quality of CA-related... Read More >>

Algebraic Theory of Quasivarieties

Algebraic Theory of Quasivarieties
Author: Viktor A. Gorbunov ISBN: 9780306110634 Format: Hardback	$604.56
The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes... Read More >>

Russell's Hidden Substitutional Theory

Russell's Hidden Substitutional Theory
Author: Gregory Landini (Associate Professor of Philosophy, Associate Professor of Philosophy, University of Iowa) ISBN: 9780195116830 Format: Hardback	$234.95
Gregory Landini presents and explores Bertrand Russell's substitutional theory of classes. He shows how paradoxes... Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now