The Online Books Page

Browsing subject area: Proof theory (Include extended shelves)
You can also browse an alphabetical list from this subject or from:

Proof theory

See also what's at Wikipedia, your library, or elsewhere.

Broader term:Narrower terms:
Filed under: Proof theory Filed under: Proof theory -- TextbooksFiled under: Automatic theorem proving Filed under: Automatic theorem proving -- Computer programsFiled under: Nuprl (Computer system)

Items below (if any) are from related and broader terms.

Filed under: Logic, Symbolic and mathematical Filed under: Logic, Symbolic and mathematical -- Periodicals Filed under: Logic, Symbolic and mathematical -- Textbooks Filed under: Axiomatic set theory Filed under: Categories (Mathematics) Filed under: Computer logic Filed under: Fuzzy logic Filed under: Machine theory Filed under: Model theory Filed under: PragmaticsFiled under: Propositional calculusFiled under: Science -- Methodology

More items available under broader and related terms at left.

Help with reading books -- Report a bad link -- Suggest a new listing

Home -- Search -- New Listings -- Authors -- Titles -- Subjects -- Serials

Books -- News -- Features -- Archives -- The Inside Story

Edited by John Mark Ockerbloom (
OBP copyrights and licenses.