Free Delivery Over $100
12303 books were found.
Read More >>
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.... Read More >>
This textbook gives a comprehensive introduction to mathematical logic using modern conventions and perspectives,... Read More >>
The sub-field of mathematics that focuses on identifying the applications of formal logic to mathematics is known... Read More >>
NEW NESA SYLLABUS EDITION COMING SOON!The Maths Plus NSW Syllabus Mentals and Homework Book provides students in... Read More >>
EXPLORING MATHS CONCEPTS IN REAL-WORLD CONTEXTSAs educators, our goal is to prepare students for life beyond the... Read More >>
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method,... Read More >>
In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical... Read More >>
This book is intended for children between the ages of 6 and 9, and it is said to be very beneficial for children... Read More >>
Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate. Then... Read More >>
This book collects chapters which discuss interdisciplinary solutions to complex problems by using different approaches... Read More >>
This book includes more details about the context of Gödel’s life than are found in earlier biographies, while avoiding... Read More >>
Discover the ten things we all should know about mathematics in this fascinating collection of short essays Read More >>
Este livro foi escrito com o objetivo de auxiliar o leitor que está estudando para concursos ou que quer simplesmente... Read More >>
Presents the basic facts about ultrafilters and ultraproducts to readers with no prior knowledge of the subject.... Read More >>
Because Morse provided very little in the way of explanation in his written works, the editor’s commentary serves... Read More >>
This book is organized in two parts, the first of which develops an account of polynomial symmetry that relies on... Read More >>
The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories... Read More >>