HOME | SUBJECTS | AUTHORS | KEYWORD | CONTACT

logic and set theory

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

Jeremy Avigad, Computability and Incompleteness

Stefan Bilaniuk, Problem Course in Mathematical Logic, A

Kevin Brown, Set Theory and Foundations (MathPages)

Tim Button, Metatheory

Tim Button, Set theory: an open introduction

Craig DeLancey, Concise introduction to logic, a

Lou van den Dries, Mathematical Logic

Antony Eagle, Elements of deductive logic

Matthias Felleisen, Phokion Kolaitis, Ian Barland, John Greiner, Moshe Vardi, Intro to Logic

Erland Gadde, Foundations of Nonstandard Analysis Without Urelements

Michael Hallett, Intermediate logic: an open introduction

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

P.D. Magnus, forall x

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

Matthew J. Van Cleve, Introduction to logic and critical thinking

Michal Walicki, Mathematical Logic: An Introduction

Cathal Woods, Introduction To Reasoning, An

Audrey Yap, Richard Zach, What if?: an introduction to nonclassical logics

Richard Zach, Boxes and diamonds

Richard Zach, Incompleteness and computability

Richard Zach, Intermediate logic

Richard Zach, Sets, logic, computation