FREE SHIPPING OVER $100

To any Australian address

AUSTRALIAN OWNED & OPERATED

Supporting local authors, readers and publishers

Mathematical foundations Books

Mathematical logic

Number systems

Set theory

Add to Cart The item has been added

Comprehensive Mathematics for Computer Scientists 2

This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst volume in two - gards: Part III ?rst adds topology, di?erential, and integral...

RRP:

$134.00

Add to Cart The item has been added
Add to Cart The item has been added

4th Refinement Workshop

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson...

RRP:

$154.00

Add to Cart The item has been added
Add to Cart The item has been added

Quadpack

1. 1. Overview of Numerical Quadrature The numerical evaluation of integrals is one of the oldest problems in mathematics. One can trace its roots back at least to Archimedes. The task is to compute...

RRP:

$241.00

Add to Cart The item has been added
Add to Cart The item has been added

Revised Report on the Algorithmic Language Algol 68

RRP:

$241.00

Add to Cart The item has been added
Add to Cart The item has been added

Numerical Solution of Time-Dependent Advection-Diffusion-Reaction Equations

Unique book on Reaction-Advection-Diffusion problems

RRP:

$389.00

Add to Cart The item has been added
Add to Cart The item has been added

Partial Differential Equations with Numerical Methods

The main theme is the integration of the theory of linear PDE and the theory of finite difference and finite element methods. For each type of PDE, elliptic, parabolic, and hyperbolic, the text...

RRP:

$187.00

Add to Cart The item has been added
Add to Cart The item has been added

Finite Model Theory and Its Applications

RRP:

$162.00

Add to Cart The item has been added
Add to Cart The item has been added

Rohit Parikh on Logic, Language and Society

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work. Highlighting the transition in Parikh's interest from formal languages to natural languages, and how he approached...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Meaning in Dialogue

This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning. This is both a continuation, and a substantial modification,...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Methods of Applied Mathematics with a Software Overview

Broadly organized around the applications of Fourier analysis, "Methods of Applied Mathematics with a MATLAB Overview" covers both classical applications in partial differential equations and...

RRP:

$200.00

Add to Cart The item has been added
Add to Cart The item has been added

Subjective Logic

This is the first comprehensive treatment of subjective logic and all its operations. The author developed the approach, and in this book he first explains subjective opinions, opinion...

RRP:

$375.00

Add to Cart The item has been added
Add to Cart The item has been added

Splitting Methods in Communication, Imaging, Science, and Engineering

This book is about computational methods based on operator splitting. It consists of twenty-three chapters written by recognized splitting method contributors and practitioners, and covers a vast...

RRP:

$402.00

Add to Cart The item has been added
Add to Cart The item has been added

Space Engineering

This book presents a selection of advanced case studies that cover a substantial range of issues and real-world challenges and applications in space engineering. Vital mathematical...

RRP:

$233.00

Add to Cart The item has been added
Add to Cart The item has been added

Numerical Mathematics and Advanced Applications ENUMATH 2015

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and...

RRP:

$357.00

Add to Cart The item has been added
Add to Cart The item has been added

Semigroups in Complete Lattices

Introduction.- 1 Foundations.- 2 Fundamentals of Quantales.- 3 Module Theory in Sup.- Appendix.- References.- Index.

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Uncertainty Quantification for Hyperbolic and Kinetic Equations

This book explores recent advances in uncertainty quantification for hyperbolic, kinetic, and related problems. The contributions address a range of different aspects, including: polynomial chaos...

RRP:

$241.00

Add to Cart The item has been added
Add to Cart The item has been added

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016

This book features a selection of high-quality papers chosen from the best presentations at the International Conference on Spectral and High-Order Methods (2016), offering an overview of the depth...

RRP:

$442.00

Add to Cart The item has been added
Add to Cart The item has been added

Theories of the Logos

This book offers insight into the nature of meaningful discourse. It presents an argument of great intellectual scope written by an author with more than four decades of experience. Readers will gain...

RRP:

$200.00

Add to Cart The item has been added
Add to Cart The item has been added

Feferman on Foundations

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here,...

RRP:

$324.00

Add to Cart The item has been added
Add to Cart The item has been added

Progress in Industrial Mathematics at ECMI 2016

This book addresses mathematics in a wide variety of applications, ranging from problems in electronics, energy and the environment, to mechanics and mechatronics. Using the classification system...

RRP:

$357.00

Add to Cart The item has been added
Add to Cart The item has been added

Modern Solvers for Helmholtz Problems

This edited volume offers a state of the art overview of fast and robust solvers for the Helmholtz equation. The book consists of three parts:new developments and analysis in Helmholtz solvers,...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Fixed Point Theory in Metric Type Spaces

Written by a team of leading experts in the field, this volume presents a self-contained account of the theory, techniques and results in metric type spaces (in particular in G-metric spaces); that...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Johan Van Benthem on Logic and Information Dynamics

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in...

RRP:

$357.00

Add to Cart The item has been added
Add to Cart The item has been added

Domain Decomposition Methods in Science and Engineering XXI

This volume contains a selection of papers presented at the 21st international conference on domain decomposition methods in science and engineering held in Rennes, France, June 25-29, 2012. Domain...

RRP:

$402.00

Add to Cart The item has been added
Add to Cart The item has been added

Perspectives in Computational Complexity

This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Logical Foundations of Mathematics and Computational Complexity

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and ...

RRP:

$303.00

Add to Cart The item has been added
Add to Cart The item has been added

Hans Hahn Gesammelte Abhandlungen

Die gesammelten mathematischen und philosophischen Werke von Hans Hahn erscheinen hier in einer dreibandigen Ausgabe. Sie enthalt samtli che Veroffentlichungen von Hahn, mit Ausnahme jener, die...

RRP:

$254.00

Add to Cart The item has been added
Add to Cart The item has been added

Mechanical Theorem Proving in Geometries

There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various...

RRP:

$154.00

Add to Cart The item has been added
Add to Cart The item has been added

Validation Numerics

The articles in this book give a comprehensive overview on the whole field of validated numerics. The problems covered include simultaneous systems of linear and nonlinear equations, differential and...

RRP:

$200.00

Add to Cart The item has been added
Add to Cart The item has been added

Introduction to Potential Theory

RRP:

$106.00

Add to Cart The item has been added
Add to Cart The item has been added

Theoretical, Experimental, and Numerical Contributions to the Mechanics of Fluids and Solids

This special issue of ZAMP is published to honor Paul M. Naghdi for his contributions to mechanics over the last forty years and more. It is offered in celebration of his long, productive career in...

RRP:

$442.00

Add to Cart The item has been added
Add to Cart The item has been added

Advanced Problems in Constructive Approximation

The current form of modern approximation theory is shaped by many new de velopments which are the subject of this series of conferences. The International Meetings on Approximation Theory attempt to...

RRP:

$235.00

Add to Cart The item has been added
Add to Cart The item has been added

Mathematics Before and After Pythagoras

This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starting point to compare pre-Pythagorean accomplishments...

RRP:

$363.00

Add to Cart The item has been added
Add to Cart The item has been added

Advances in Numerical Methods for Hyperbolic Balance Laws and Related Problems

A broad range of phenomena in science and technology can be described by non-linear partial differential equations characterized by systems of conservation laws with source terms. Well known examples...

RRP:

$324.00

Add to Cart The item has been added
Add to Cart The item has been added

The Priority of Propositions. A Pragmatist Philosophy of Logic

This monograph is a defence of the Fregean take on logic. The author argues that Frege´s projects, in logic and philosophy of language, are essentially connected and that the formalist shift produced...

RRP:

$233.00

Add to Cart The item has been added
Add to Cart The item has been added

Principles of Systems Design

This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31...

RRP:

$162.00

Add to Cart The item has been added
Add to Cart The item has been added

Homogenization Theory for Multiscale Problems

The book provides a pedagogic and comprehensive introduction to homogenization theory with a special focus on problems set for non-periodic media. The presentation encompasses both deterministic and...

RRP:

$181.00

Add to Cart The item has been added
Add to Cart The item has been added

Prawitz's Epistemic Grounding

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took...

RRP:

$151.00

Add to Cart The item has been added
Add to Cart The item has been added

Progress in Industrial Mathematics at ECMI 2021

This book gathers peer-reviewed contributions submitted to the 21st European Conference on Mathematics for Industry, ECMI 2021, which was virtually held online, hosted by the University of Wuppertal,...

RRP:

$357.00

Add to Cart The item has been added
Add to Cart The item has been added

Mathematical and Computational Models of Flows and Waves in Geophysics

This volume proposes an integral approach to studying the geophysics of Earth. It is motivated by a variety of phenomena from nature with deep and direct impacts in our lives. Such events may evolve...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Explainable and Transparent AI and Multi-Agent Systems

This book constitutes the proceedings of the Third International Workshop on Explainable, Transparent AI and Multi-Agent Systems, EXTRAAMAS 2021, which was held virtually due to the COVID-19 pandemic...

RRP:

$187.00

Add to Cart The item has been added
Add to Cart The item has been added

Maple in Mathematics Education and Research

This book constitutes refereed proceedings of the 4th Maple Conference, MC 2020, held in Waterloo, Ontario, Canada, in November 2020. The 25 revised full papers and 3 short papers were carefully...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Sparse Grids and Applications - Munich 2018

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems. Where classical numerical discretization schemes fail in more than three or four dimensions, sparse grids, in...

RRP:

$303.00

Add to Cart The item has been added
Add to Cart The item has been added

Axiomatic Thinking I

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics,...

RRP:

$162.00

Add to Cart The item has been added
Add to Cart The item has been added

Boundary Integral Equations

This is the second edition of the book which has two additional new chapters on Maxwell's equations as well as a section on properties of solution spaces of Maxwell's equations and their trace spaces...

RRP:

$375.00

Add to Cart The item has been added
Add to Cart The item has been added

Efficient High-Order Discretizations for Computational Fluid Dynamics

The book introduces modern high-order methods for computational fluid dynamics. As compared to low order finite volumes predominant in today's production codes, higher order discretizations...

RRP:

$324.00

Add to Cart The item has been added
Add to Cart The item has been added

Nonlinear Analysis, Geometry and Applications

This book gathers nineteen papers presented at the first NLAGA-BIRS Symposium, which was held at the Cheikh Anta Diop University in Dakar, Senegal, on June 24-28, 2019.The four-day symposium brought...

RRP:

$303.00

Add to Cart The item has been added

Items 385 to 432 of 2186 total

4
5
6
7
8
9
10
11
12
13
14

Mathematical foundations

PRE-SALES

If you have any questions before making a purchase chat with our online operators to get more information.

or find our Questions & Answers

AFTER-SALES

If you have need any help about the After-Sales issues, please contact us.

New Releases
For Dummies
School Textbooks And Teacher Resources
Lonely Planet
Star Wars
Minecraft
ADHD Books
Pokemon Books And Graphic Novels
Little Golden Books
How To Draw
Peppa Pig
Children's Activity books
Bluey
Trending Books
Kids Easter Books
Apple Park
Bigjigs
Peter Rabbit
Australian
ABIA award winners
Harry Potter
Alex Cross
Grug