dandelion icon

HOME | SUBJECTS | AUTHORS | KEYWORD | CONTACT

logic and set theory

ALL > STEM > MATH. COMPUTER SCIENCE > MATH > LOGIC AND SET THEORY

divider

Jeremy Avigad, Computability and Incompleteness

Stefan Bilaniuk, Problem Course in Mathematical Logic, A

Kevin Brown, Set Theory and Foundations (MathPages)

Tim Button, Metatheory free to read, modify, and sell

Tim Button, Set theory: an open introduction free to read, modify, and sell

Craig DeLancey, Concise introduction to logic, a free to read, modify, and sell

Lou van den Dries, Mathematical Logic

Antony Eagle, Elements of deductive logic free to read, modify, and sell

Matthias Felleisen, Phokion Kolaitis, Ian Barland, John Greiner, Moshe Vardi, Intro to Logic free to read, modify, and sell

Erland Gadde, Foundations of Nonstandard Analysis Without Urelements

Michael Hallett, Intermediate logic: an open introduction free to read, modify, and sell

Robert A. Herrmann, Logic for Everyone

Robert A. Herrmann, Ultralogics and More

Holly P. Hirst, Jeffry Hirst, Primer for Logic and Proof, A

Graham Leach-Krouse, Jake Ehrlich, Carnap book, the free to read, modify, and sell

P.D. Magnus, forall x free to read, modify, and sell

Dave Witte Morris, Joy Morris, Proofs and Concepts

K. Podnieks, Around Goedel’s Theorem

Stewart Shapiro, Classical Logic

Stephen G. Simpson, Mathematical Logic

Peter Suber, Symbolic Logic

Paul Teller, A Modern Formal Logic Primer free to read, modify, and sell

Matthew J. Van Cleve, Introduction to logic and critical thinking free to read, modify, and sell

Michal Walicki, Mathematical Logic: An Introduction

Cathal Woods, Introduction To Reasoning, An

Audrey Yap, Richard Zach, What if?: an introduction to nonclassical logics free to read, modify, and sell

Richard Zach, Boxes and diamonds free to read, modify, and sell

Richard Zach, Incompleteness and computability free to read, modify, and sell

Richard Zach, Intermediate logic free to read, modify, and sell

Richard Zach, Sets, logic, computation free to read, modify, and sell

page footer with a dandelion seed