HomeHome Higher-Order Logic Explorer
Theorem List (Table of Contents)
< Wrap  Next >
Browser slow? Try the
Unicode version.

Mirrors  >  Metamath Home Page  >  HOLE Home Page  >  Theorem List Contents       This page:  Detailed Table of Contents  Page List

Table of Contents Summary
      0.1  Foundations
      0.2  Add propositional calculus definitions
      0.3  Type definition mechanism
      0.4  Extensionality
      0.5  Axioms of infinity and choice
      0.6  Rederive the Metamath axioms

Detailed Table of Contents
(* means the section header has a description)
      0.1  Foundations
      0.2  Add propositional calculus definitions
      0.3  Type definition mechanism
      0.4  Extensionality
      0.5  Axioms of infinity and choice
      0.6  Rederive the Metamath axioms

    < Wrap  Next >

Page List
Jump to page: Contents  1 1-100 2 101-200 3 201-222
  Copyright terms: Public domain < Wrap  Next >