Mathematical foundations books

Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had....  Read More >>

This collection of papers aims to unify the questions of syntax and semantics of language, which span across the...  Read More >>

There is so much to count at the park--bikes, birds, balloons, and so much more! Readers will enjoy counting up...  Read More >>

This book provides a comprehensive introduction to the foundations of cryptography and network security. As well...  Read More >>

""There is so much to count at the park-bikes, birds, balloons, and so much more! Readers will enjoy counting up...  Read More >>

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical...  Read More >>

1 Livro 1 Exerc�cio N�vel 2 da Cole��o Os Elementos Seguindo a sequ�ncia de exerc�cios Peculiares Os 5500 Elementos...  Read More >>

This book digs deeper and shows not only that quantum gravity is more than just a physical theory—describing physical...  Read More >>

In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici: geometria piana (concetti...  Read More >>

This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses,...  Read More >>

 Read More >>

This book gives an intuitive and hands-on introduction to Topological Data Analysis (TDA). The first third of the...  Read More >>

Times tables book filled with multiplication tables from 1-15. Includes exercise pages to stimulate the mind Includes...  Read More >>

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic,...  Read More >>

This book is a comprehensive examination of the conception, perception, performance, and composition of time in...  Read More >>

When Kurt Gödel published his celebrated theorem, showing that no axiomatization can determine the whole truth and...  Read More >>

 Read More >>

The essays in this volume present a case for pluralism in mathematics and its logics, largely supporting coexistence...  Read More >>

Pourquoi vouloir écrire aujourd'hui un livre sur le calcul mental ? À l'ère des ordinateurs, des calculettes électroniques,...  Read More >>

This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers,...  Read More >>

 Read More >>

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is...  Read More >>

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming,...  Read More >>

The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the...  Read More >>

Presents contemporaneous open-access articles that are essentially devoted to mathematical logic research, from...  Read More >>