Free Delivery Over $100
5333 books were found.
Read More >>
In questo libro sono presentate tutte le sfaccettature della logica matematica quali: simbologia, principi e proprietà... Read More >>
In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici: equazioni e disequazioni... Read More >>
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 >>
This book provides a comprehensive introduction to the foundations of cryptography and network security. As well... 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 >>
This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental... Read More >>
The essays in this volume present a case for pluralism in mathematics and its logics, largely supporting coexistence... 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 >>
On Gödel’s Incompleteness Theorems in mathematical logic, at upper undergraduate level. Read More >>
This monograph gathers the author's results obtained since April 2019, which have been published in seven papers.... Read More >>
In an admirably succinct form, this volume offers a historical view of the development of the calculus of logic,... Read More >>
"This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization... Read More >>