Mathematics

This textbook was born of a desire to contribute a viable, free, introductory Numerical Analysis textbook for instructors and students of mathematics. The ultimate goal of this book is to be a complete, one-semester, single-pdf, downloadable textbo

This book helps the student complete the transition from purely manipulative to rigorous mathematics, with topics that cover basic set theory, fields (with emphasis on the real numbers), a review of the geometry of three dimensions, and properties

This undergraduate textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics. It is designed to be the textbook for a bridge course that introduces undergraduates to abstract mathematics

The textbook by Professor Wolfgang Rautenberg is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompletenes

A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some

This book is an Hyper-textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Th

Introduction to Mathematical Philosophy has been a seminal work for more than nine decades. It gives the general background necessary for any serious discussion on the foundational crisis of mathematics in the beginning of the twentieth century.

This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Ch

At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the

This book is about Information Retrieval (IR), particularly Classical Information Retrieval (CIR). It looks at these topics through their mathematical roots. The mathematical bases of CIR are briefly reviewed, followed by the most important and int