Mathematical foundations books

12436 books were found.

Using R for Numerical Analysis in Science and Engineering

Using R for Numerical Analysis in Science and Engineering...
Author: Victor A Bloomfield (University of Minnesota, Minneapolis, USA) ISBN: 9781306904339 Format: Undefined	$237.47
Instead of presenting the standard theoretical treatments that underlie the various numerical methods used by scientists... Read More >>

A Beginner's Guide to Mathematical Logic

A Beginner's Guide to Mathematical Logic
Author: Professor Emeritus Raymond M Smullyan (Indiana University) ISBN: 9781306979382 Format: Undefined	$52.67
Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this... Read More >>

Introduction to Proof in Abstract Mathematics

Introduction to Proof in Abstract Mathematics
Author: Andrew Wohlgemuth ISBN: 9781306957632 Format: Undefined	$52.67
This undergraduate text teaches students what constitutes an acceptable proof, and it develops their ability to... Read More >>

Predicative Arithmetic. (MN-32)

Predicative Arithmetic. (MN-32)
Author: Edward Nelson (Professor of Surgery, University of Utah School of Medicine; Attending Surgeon, University of Utah Medical Center, Salt Lake City, Utah) ISBN: 9781306987165 Format: Electronic book text	$104.28
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael... Read More >>

Programming as If People Mattered: Friendly Programs, Software Engineering, and Other Noble Delusions

Programming as If People Mattered: Friendly Programs,...
Author: Nathaniel S Borenstein ISBN: 9781306985949 Format: Electronic book text	$147.84
Through a set of lively anecdotes and essays, Nathaniel Borenstein traces the divergence between the fields of software... Read More >>

Nonlinear Elastic Waves in Materials

Nonlinear Elastic Waves in Materials
Author: ISBN: 9781322038278 Format: Electronic book text	$472.56
Read More >>

Monoidal Topology

Monoidal Topology
Author: Dirk Hofmann (Universidade de Aveiro, Portugal) , Gavin J Seal ISBN: 9781322066899 Format: Electronic book text	$330.00
Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces'... Read More >>

E-Recursion, Forcing and C*-Algebras

E-Recursion, Forcing and C*-Algebras
Author: Qing Cao (Durham University) , Chitat Chong ISBN: 9781322026954 Format: Electronic book text	$198.00
Read More >>

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles

Slicing the Truth: On the Computable and Reverse Mathematics...
Author: Denis R Hirschfeldt , Chitat Chong ISBN: 9781322100210 Format: Electronic book text	$158.40
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial... Read More >>

Augmented Marked Graphs

Augmented Marked Graphs
Author: ISBN: 9781322135410 Format: Electronic book text	$287.76
Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri... Read More >>

Lattice Theory: Special Topics and Applications: Volume 1

Lattice Theory: Special Topics and Applications: Volume...
Author: ISBN: 9781322135380 Format: Electronic book text	$340.56
George Gratzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second... Read More >>

Operator Theory in Harmonic and Non-Commutative Analysis: 23rd International Workshop in Operator Theory and Its Applications, Sydney, July 2012

Operator Theory in Harmonic and Non-Commutative Analysis:...
Author: ISBN: 9781322135151 Format: Electronic book text	$366.96
This book contains the proceedings of the 23rd International Workshop on Operator Theory and its Applications (IWOTA2012),... Read More >>

Translational Recurrences: From Mathematical Theory to Real-World Applications

Translational Recurrences: From Mathematical Theory...
Author: Jr Charles L Webber ISBN: 9781322138022 Format: Electronic book text	$366.96
This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013... Read More >>

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

The Philosophy of Mathematics and Logic in the 1920s...
Author: ISBN: 9781322133546 Format: Electronic book text	$366.96
The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated... Read More >>

Applications of Model Theory to Functional Analysis

Applications of Model Theory to Functional Analysis...
Author: Prof Jose Iovino (University of Texas Health Science Center, San Antonio) ISBN: 9781322150727 Format: Electronic book text	$34.19
During the last two decades, methods that originated within mathematical logic have exhibited powerful applications... Read More >>

Interpreting Godel

Interpreting Godel
Author: Juliette Kennedy (University of Helsinki) ISBN: 9781322176499 Format: Electronic book text	$330.00
Read More >>

Understanding the Many

Understanding the Many
Author: Byeong-UK Yi ISBN: 9781322178301 Format: Electronic book text	$396.00
Read More >>

Constructivity and Computability in Historical and Philosophical Perspective

Constructivity and Computability in Historical and Philosophical...
Author: Jacques Dubucs , Michel Bourdeau ISBN: 9781322175577 Format: Electronic book text	$340.56
Constructivity and Computability in Historical and Philosophical Perspective Read More >>

Leo Esakia on Duality in Modal and Intuitionistic Logics

Leo Esakia on Duality in Modal and Intuitionistic Logics...
Author: Guram Bezhanishvili ISBN: 9781322175164 Format: Electronic book text	$472.56
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting... Read More >>

Many-Sorted Calculus Based on Resolution and Paramodulation

Many-Sorted Calculus Based on Resolution and Paramodulation...
Author: Christoph Walther ISBN: 9781322471136 Format: Electronic book text	$101.22
A Many-Sorted Calculus Based on Resolution and Paramodulation Read More >>

Teach Your Children Tables

Teach Your Children Tables
Author: Bill Handley ISBN: 9781322439525 Format: Electronic book text	$40.92
Great math skills are a head start to lasting success <p>Teach Your Children Tables is the ultimate guide toimproving... Read More >>

Wavelets

Wavelets
Author: Laura Montefusco , Laura Montefusco ISBN: 9781322465470 Format: Electronic book text	$351.65
Wavelets: Theory, Algorithms, and Applications is the fifth volume in the highly respected series, WAVELET ANALYSIS... Read More >>

Principles of Artificial Intelligence

Principles of Artificial Intelligence
Author: Professor Emeritus Nils J Nilsson ISBN: 9781322473109 Format: Electronic book text	$231.11
A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles... Read More >>

Formal Language Theory

Formal Language Theory
Author: Ronald V Book , Ronald V Book ISBN: 9781322459752 Format: Electronic book text	$231.11
Formal Language Theory: Perspectives and Open Problems focuses on the trends and major open problems on the formal... Read More >>

Handbook of Integer Sequences

Handbook of Integer Sequences
Author: Sloane Neil James Alexand , N J Sloane ISBN: 9781322560175 Format: Electronic book text	$231.11
A Handbook of Integer Sequences contains a main table of 2300 sequences of integers that are collected from all... Read More >>

Page 258 of 498 ... 253 254 255 256 257 258 259 260 261 262 ...

Sub Categories for

Mathematical foundations

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now