Mathematical foundations books

12436 books were found.

Parent-Teacher Guide for Ray's New Arithmetics

Parent-Teacher Guide for Ray's New Arithmetics
Author: Ruth Beechick ISBN: 9780880620710 Format: Paperback	$34.29
Guides your scheduling and planning through the Ray's Arithmetic books. Shows where you can adapt to the needs of... Read More >>

Unveiling God's Presence in the Bible Acts of the Holy Trinity Volume III

Unveiling God's Presence in the Bible Acts of the Holy...
Author: Tommy C Seay Sr ISBN: 9781626979895 Format: Paperback	$44.85
Unveiling God's Presence in the Bible: Acts of the Holy Trinity is a book that will stir up the pure minds of every... Read More >>

Unveiling God's Presence in the Bible Acts of the Holy Trinity Volume I

Unveiling God's Presence in the Bible Acts of the Holy...
Author: Tommy C Seay Sr ISBN: 9781626975446 Format: Paperback	$43.53
Unveiling God's Presence in the Bible: Acts of the Holy Trinity is a book that will stir up the pure minds of every... Read More >>

Basic Math & Pre-Algebra

Basic Math & Pre-Algebra
Author: Editors of Real Simple Magazine , Editors of Rea ISBN: 9780738611198 Format: Paperback	$26.27
Read More >>

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Tests and Proofs: 7th International Conference, TAP...
Author: Margus Veanes , Luca Vigano ISBN: 9783642389153 Format: Paperback	$190.08
Read More >>

Discrete Dynamical Systems and Chaotic Machines: Theory and Applications

Discrete Dynamical Systems and Chaotic Machines: Theory...
Author: Jacques Bahi , Christophe Guyeux ISBN: 9781466554504 Format: Hardback	$231.00
Read More >>

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Application and Theory of Petri Nets and Concurrency:...
Author: Jose-Manuel Colom , Jörg Desel ISBN: 9783642386961 Format: Paperback	$145.17
Read More >>

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Typed Lambda Calculi and Applications: 11th International...
Author: Masahito Hasegawa ISBN: 9783642389450 Format: Paperback	$190.08
Read More >>

Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings

Unconventional Computation and Natural Computation:...
Author: Giancarlo Mauri , Alberto Dennunzio ISBN: 9783642390739 Format: Paperback	$131.97
Read More >>

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

David Hilbert's Lectures on the Foundations of Arithmetic...
Author: William Ewald , Wilfried Sieg ISBN: 9783540205784 Format: Hardback	$314.16
The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with... Read More >>

Divisor Theory

Divisor Theory
Author: Harold M. Edwards ISBN: 9780817649760 Format: Paperback	$145.17
Read More >>

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Logical Foundations of Mathematics and Computational...
Author: Pavel Pudlák ISBN: 9783319001180 Format: Hardback	$527.97
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about... Read More >>

Games, Norms and Reasons: Logic at the Crossroads

Games, Norms and Reasons: Logic at the Crossroads
Author: Johan van Benthem , Amitabha Gupta ISBN: 9789400735774 Format: Paperback	$290.37
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships... Read More >>

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads...
Author: Johan van Benthem , Amitabha Gupta ISBN: 9789400735811 Format: Paperback	$448.77
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship... Read More >>

Logica Dinamica Epistemica Para La Evidencilidad Negativa

Logica Dinamica Epistemica Para La Evidencilidad Negativa...
Author: Cristina Bares Gomez ISBN: 9781848901070 Format: Paperback	$28.46
Read More >>

Adaptive and Learning Systems: Theory and Applications

Adaptive and Learning Systems: Theory and Applications...
Author: Kumpati S. Narendra ISBN: 9781475718973 Format: Paperback	$145.17
This volume offers a glimpse of the status of research in adaptive and learning systems in 1985. The Yale Workshop... Read More >>

The Shape of Congruence Lattices

The Shape of Congruence Lattices
Author: Keith A. Kearnes , Emil W. Kiss ISBN: 9780821883235 Format: Paperback	$140.80
""March 2013, volume 222, number 1046 (fifth of 5 numbers)."" Read More >>

Lambert Prime Number Formula: Treatise #8

Lambert Prime Number Formula: Treatise #8
Author: Carl L Lambert ISBN: 9798793323413 Format: Paperback	$11.46
Read More >>

Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings

Developments in Language Theory: 17th International...
Author: Marie-Pierre Beal , Olivier Carton ISBN: 9783642387708 Format: Paperback	$145.17
Read More >>

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice
Author: Monty Newborn ISBN: 9781461265191 Format: Paperback	$343.17
The first four chapters contain introductory material about automated theorem proving and the two programs. Chapter... Read More >>

The Geometry of Vector Fields (Routledge Revivals)

The Geometry of Vector Fields (Routledge Revivals)
Author: Yu. Aminov ISBN: 9780415706858 Format: Hardback	$210.00
This volume, first published in 2000, presents a classical approach to the foundations and development of the geometry... Read More >>

Meta-logical Investigations in Argumentation Networks

Meta-logical Investigations in Argumentation Networks...
Author: Dov M. Gabbay ISBN: 9781848901032 Format: Paperback	$47.87
This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as... Read More >>

Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings

Formal Concept Analysis: 11th International Conference,...
Author: Peggy Cellier , Felix Distel ISBN: 9783642383168 Format: Paperback	$103.47
The papers present current research from a thriving theoretical community and a rapidly expanding range of applications... Read More >>

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations -...
Author: Bob Coecke , Luke Ong ISBN: 9783642381638 Format: Paperback	$145.17
Read More >>

The Logic of Quantum Mechanics: Volume 15

The Logic of Quantum Mechanics: Volume 15
Author: Enrico G. Beltrametti (University of Genoa) , Gianni Cassinelli ISBN: 9781107340725 Format: Undefined	$435.60
Read More >>

Page 265 of 498 ... 260 261 262 263 264 265 266 267 268 269 ...

Sub Categories for

Mathematical foundations

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now