forked from metamath/set.mm
-
Notifications
You must be signed in to change notification settings - Fork 0
/
mmbiblio.raw.html
161 lines (131 loc) · 4.73 KB
/
mmbiblio.raw.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"https://www.w3.org/TR/html4/loose.dtd">
<HTML LANG="EN-US">
<HEAD>
<!-- improve mobile display -->
<META NAME="viewport" CONTENT="width=device-width, initial-scale=1.0">
<META HTTP-EQUIV="Content-Type"
CONTENT="text/html; charset=iso-8859-1">
<STYLE TYPE="text/css">
<!--
.p { font-family: "Arial Narrow";
font-size: x-small;
color: #FA8072;
}
.r { font-family: "Arial Narrow";
font-size: x-small;
}
.i { font-family: "Arial Narrow";
font-size: x-small;
color: gray;
}
-->
</STYLE>
<TITLE>Bibliographic Cross-Reference - Metamath Proof Explorer</TITLE>
<LINK REL="shortcut icon" HREF="favicon.ico" TYPE="image/x-icon">
</HEAD>
<BODY BGCOLOR="#FFFFFF" STYLE="padding: 0px 8px">
<TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0 WIDTH="100%">
<TR>
<TD ALIGN=LEFT VALIGN=TOP><A HREF="mmset.html"><IMG SRC="mm.gif"
BORDER=0
ALT="Metamath Proof Explorer Home"
TITLE="Metamath Proof Explorer Home"
HEIGHT=32 WIDTH=32 ALIGN=TOP STYLE="margin-bottom:0px"></A>
</TD>
<TD ALIGN=CENTER VALIGN=TOP><FONT SIZE="+3"
COLOR="#006633"><B>Metamath Proof Explorer</B></FONT><BR>
<FONT SIZE="+2" COLOR="#006633"><B>Bibliographic Cross-References</B>
</FONT>
</TD>
<TD NOWRAP ALIGN=RIGHT VALIGN=TOP>
</TD>
</TR>
<TR>
<TD COLSPAN=3 ALIGN=LEFT VALIGN=TOP><FONT SIZE=-2
FACE=sans-serif>
<A HREF="../mm.html">Mirrors</A> >
<A HREF="../index.html">Home</A> >
<A HREF="mmset.html">MPE Home</A> >
Bibliographic Cross-References
</FONT>
</TD>
</TR>
</TABLE>
<HR NOSHADE SIZE=1>
<B><FONT COLOR="#006633">Bibliographic
Cross-References</FONT></B> 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.
<P>
<!--
<CENTER><TABLE CELLSPACING=0 CELLPADDING=5
SUMMARY="Bibliographic Cross-Reference colors"><TR>
<TD>Color key: </TD>
<TD BGCOLOR="#EEFFFA"><A
HREF="mmset.html"><IMG SRC="mm.gif" BORDER=0
ALT="Metamath Proof Explorer" HEIGHT=32 WIDTH=32 ALIGN=MIDDLE>
Metamath Proof Explorer</A></TD>
<TD WIDTH=10> </TD>
<TD BGCOLOR="#FAEEFF"><A HREF="mmhil.html"><IMG SRC="atomic.gif"
BORDER=0 ALT="Hilbert Space Explorer" HEIGHT=32 WIDTH=32 ALIGN=MIDDLE>
Hilbert Space Explorer</A></TD>
</TR></TABLE></CENTER>
-->
<CENTER>
<TABLE CELLSPACING=0 CELLPADDING=5
SUMMARY="Color key"><TR>
<TD>Color key: </TD><TD BGCOLOR="#EEFFFA" NOWRAP><A
HREF="mmset.html"><IMG SRC="mm.gif" BORDER=0
ALT="Metamath Proof Explorer" HEIGHT=32 WIDTH=32 ALIGN=MIDDLE>
Metamath Proof Explorer</A></TD>
<TD WIDTH=10> </TD>
<TD BGCOLOR="#FAEEFF" NOWRAP><A HREF="mmhil.html"><IMG SRC="atomic.gif"
BORDER=0 ALT="Hilbert Space Explorer" HEIGHT=32 WIDTH=32 ALIGN=MIDDLE>
Hilbert Space Explorer</A></TD>
<TD WIDTH=10> </TD>
<TD BGCOLOR="#FFFFD9" NOWRAP><A HREF="mmtheorems.html#sandbox:bighdr"><IMG
SRC="_sandbox.gif" BORDER=0 ALT="User Mathboxes" HEIGHT=32 WIDTH=32
ALIGN=MIDDLE> User Mathboxes</A></TD>
<TD WIDTH=10> </TD>
</TR></TABLE>
</CENTER>
<!-- <P><CENTER><TABLE BORDER CELLSPACING=0 BGCOLOR="#EEFFFA" F7F7FF FAEEFF -->
<P><TABLE BORDER CELLSPACING=0 BGCOLOR="#EEFFFA"
SUMMARY="Bibliographic Cross-Reference">
<CAPTION><B>Bibliographic Cross-Reference for the Metamath Proof Explorer</B></CAPTION>
<TR><TH>Bibliographic Reference</TH><TH>Description</TH><TH>Metamath Proof Explorer Page(s)</TH></TR>
<!-- To regenerate the automatically generated content, do the following
in the Metamath program:
metamath
MM> read set.mm
MM> write bibliography mmbiblio.html
-->
<!-- Start of automatically generated section -->
<!-- do not change the next comment -->
<!-- #START# -->
<!-- #END# -->
<!-- Do not change the preceding comment -->
<!-- End of automatically generated section -->
</TABLE>
<HR NOSHADE SIZE=-1> <CENTER><I>
<!-- The line below is automatically updated. -->
This page was last updated on 1-Jan-2000.
</I></CENTER>
<CENTER><FONT SIZE=-2 FACE=ARIAL>
Copyright terms:
<A HREF="../copyright.html#pd">Public domain</A>
</FONT></CENTER>
<!-- <SCRIPT SRC="http://www.google-analytics.com/urchin.js" TYPE="text/javascript">
</SCRIPT>
<SCRIPT TYPE="text/javascript">
_uacct = "UA-1862729-1";
urchinTracker();
</SCRIPT>
-->
</BODY></HTML>