Ordenar por:
Gêneros
Autores
Publishers
Higher-Order Logic and Type Theory
This Element is an exposition of second- and higher-order logic and type theory. It begins with a pre
Baixar grátis
Set Theory: An Open Introduction (Open Logic Project Textbooks)
Set Theory: An Open Introduction is a brief introduction to the philosophy of set theory. It is writt
Baixar grátis
Set Theory
This book is designed for readers who know elementary mathematical logic and axiomatic set theory, an
Baixar grátis
Notebook: Graph Paper Notebook, Grid Paper for Math and Science Students, Quad Ruled 4x4 ( 110 Pages, 8.5 x 11)
This notebook is a great choice if you are looking for a sturdy checkered notebook for math, note wri
Baixar grátis
Gödel's Incompleteness Theorems
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incomplet
Baixar grátis
Roads to Infinity: The Mathematics of Truth and Proof
Winner of a CHOICE Outstanding Academic Title Award for 2011! This book offers an introduction to mod
Baixar grátis
Critical Thinking: PARADOXES The Illusions of Logic and Reality A Collection of 40+ Unsolved Logic Puzzles: Enhance Your Critical Thinking Skills with ... Paradoxes & Mind-Bending Thought Experiments"
Embark on an intellectual journey through the enigmatic world of paradoxes, where appearances deceive
Baixar grátis