Bibliographic Cross-Reference - Metamath Proof Explorer

| Metamath Proof Explorer Bibliographic Cross-References |
Mirrors > Home > MPE Home > Bibliographic Cross-References

Bibliographic Cross-References This table collects in one place the bibliographic references made in the Metamath Proof Explorer's axiom, definition, and theorem Descriptions. If you are studying a particular set theory book, this list can be handy for finding out where any corresponding Metamath theorems might be located. Keep in mind that we usually give only one reference for a theorem that may appear in several books, so it can also be useful to browse the Related Theorems around a theorem of interest.

Color key: | Metamath Proof Explorer |  | Hilbert Space Explorer |  | User Mathboxes |

Bibliographic Cross-Reference for the Metamath Proof Explorer
Bibliographic Reference | Description | Metamath Proof Explorer Page(s)
--- | --- | ---

This page was last updated on 1-Jan-2000.
Copyright terms: Public domain