Mathematical foundations books

12436 books were found.

Notes on Logic and Set Theory

Notes on Logic and Set Theory
Author: P. T. Johnstone (University of Cambridge) ISBN: 9781139172066 Format: Undefined	$1372.80
Suitable for mathematics undergraduates, this title is based on lectures given at the University of Cambridge and... Read More >>

Mathematical Theory of Domains

Mathematical Theory of Domains
Author: V. Stoltenberg-Hansen (Uppsala Universitet, Sweden) , I. Lindström (Uppsala Universitet, Sweden) ISBN: 9781139166386 Format: Undefined	$1372.80
This book is devoted to providing an accessible, unified and self-contained introduction to domain theory. It can... Read More >>

Basic Proof Theory

Basic Proof Theory
Author: A. S. Troelstra (Universiteit van Amsterdam) , H. Schwichtenberg (Universität Munchen) ISBN: 9781139168717 Format: Undefined	$620.40
Read More >>

An Introduction to Gödel's Theorems

An Introduction to Gödel's Theorems
Author: Peter Smith (University of Cambridge) ISBN: 9780511800962 Format: Undefined	$1372.80
What are Gödel's Theorems, how were they established and why do they matter? Written with great clarity, this book... Read More >>

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

An Introduction to Many-Valued and Fuzzy Logic: Semantics,...
Author: Merrie Bergmann (Smith College, Massachusetts) ISBN: 9780511801129 Format: Undefined	$1372.80
Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed... Read More >>

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction
Author: J. Roger Hindley (University of Wales, Swansea) , Jonathan P. Seldin (University of Lethbridge, Alberta) ISBN: 9780511809835 Format: Undefined	$620.40
Read More >>

An Introduction to Non-Classical Logic: From If to Is

An Introduction to Non-Classical Logic: From If to Is...
Author: Graham Priest (University of Melbourne) ISBN: 9780511801174 Format: Undefined	$1372.80
This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense,... Read More >>

Computability and Logic

Computability and Logic
Author: George S. Boolos , John P. Burgess (Princeton University, New Jersey) ISBN: 9780511804076 Format: Undefined	$620.40
Read More >>

Logic, Induction and Sets

Logic, Induction and Sets
Author: Thomas Forster (University of Cambridge) ISBN: 9780511810282 Format: Undefined	$1372.80
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Difficult points... Read More >>

The Evolution of Logic

The Evolution of Logic
Author: W. D. Hart (University of Illinois, Chicago) ISBN: 9780511779589 Format: Undefined	$620.40
Read More >>

Essential Mathematics for Political and Social Research

Essential Mathematics for Political and Social Research...
Author: Jeff Gill (University of California, Davis) ISBN: 9780511606656 Format: Undefined	$620.40
Read More >>

Essential Mathematical Methods for the Physical Sciences

Essential Mathematical Methods for the Physical Sciences...
Author: K. F. Riley (University of Cambridge) , M. P. Hobson (University of Cambridge) ISBN: 9780511778506 Format: Undefined	$1372.80
The mathematical methods that physical scientists need for solving problems are clearly set out in this tutorial-style... Read More >>

Conceptual Mathematics: A First Introduction to Categories

Conceptual Mathematics: A First Introduction to Categories...
Author: F. William Lawvere (State University of New York, Buffalo) , Stephen H. Schanuel (State University of New York, Buffalo) ISBN: 9780511804199 Format: Undefined	$1372.80
Conceptual Mathematics introduces the concept of category to beginning students and practising mathematical scientists... Read More >>

The Theory of Information and Coding: Student Edition

The Theory of Information and Coding: Student Edition...
Author: R. J. McEliece (California Institute of Technology) ISBN: 9780511819896 Format: Undefined	$620.40
Read More >>

Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture

Proofs and Confirmations: The Story of the Alternating-Sign...
Author: David M. Bressoud (Macalester College, Minnesota) ISBN: 9780511613449 Format: Undefined	$620.40
Read More >>

Argumentation Schemes

Argumentation Schemes
Author: Douglas Walton (University of Windsor, Ontario) , Christopher Reed (University of Dundee) ISBN: 9780511802034 Format: Undefined	$620.40
Read More >>

Foundation Mathematics for the Physical Sciences

Foundation Mathematics for the Physical Sciences
Author: K. F. Riley (University of Cambridge) , M. P. Hobson (University of Cambridge) ISBN: 9780511761447 Format: Undefined	$1372.80
This tutorial-style textbook develops the basic mathematical tools needed by undergraduates to solve problems in... Read More >>

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

Multiagent Systems: Algorithmic, Game-Theoretic, and...
Author: Yoav Shoham (Stanford University, California) , Kevin Leyton-Brown (University of British Columbia, Vancouver) ISBN: 9780511811654 Format: Undefined	$620.40
Read More >>

A Student's Guide to Data and Error Analysis

A Student's Guide to Data and Error Analysis
Author: Herman J. C. Berendsen (Rijksuniversiteit Groningen, The Netherlands) ISBN: 9780511921247 Format: Undefined	$620.40
Read More >>

Introduction to Lattices and Order

Introduction to Lattices and Order
Author: B. A. Davey (La Trobe University, Victoria) , H. A. Priestley (University of Oxford) ISBN: 9780511809088 Format: Undefined	$1372.80
The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh... Read More >>

A Course on Set Theory

A Course on Set Theory
Author: Ernest Schimmerling (Carnegie Mellon University, Pennsylvania) ISBN: 9780511996351 Format: Undefined	$620.40
Read More >>

An Introduction to Category Theory

An Introduction to Category Theory
Author: Harold Simmons (University of Manchester) ISBN: 9780511863226 Format: Undefined	$620.40
Read More >>

A Course in Combinatorics

A Course in Combinatorics
Author: J. H. van Lint (Technische Universiteit Eindhoven, The Netherlands) , R. M. Wilson (California Institute of Technology) ISBN: 9780511987045 Format: Undefined	$1372.80
Combinatorics deals with ways of arranging and distributing mathematical objects, and involves ideas from geometry,... Read More >>

Ray's New Higher Arithmetic; A Revised Edition of the Higher Arithmetic

Ray's New Higher Arithmetic; A Revised Edition of the...
Author: Joseph Ray ISBN: 9781231696880 Format: Paperback	$52.77
Read More >>

First-Order Logic

First-Order Logic
Author: Raymond R. Smullyan ISBN: 9783642867200 Format: Paperback	$145.17
Given an assignment of truth-values to all propositional variables, the truth-values of all other formulas under... Read More >>

Page 292 of 498 ... 287 288 289 290 291 292 293 294 295 296 ...

Sub Categories for

Mathematical foundations

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now