forked from osj1961/giam
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathGIAM.tex
More file actions
executable file
·162 lines (115 loc) · 3.94 KB
/
GIAM.tex
File metadata and controls
executable file
·162 lines (115 loc) · 3.94 KB
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
\ifx\pdfoutput\undefined % We're running regular LaTeX (not pdftex)
\documentclass[dvips,12pt,twoside]{book}
\RequirePackage[plainpages=false]{hyperref}
\usepackage{color}
\typeout{Use 'fig4latex -l' then 'make' to format graphics for regular latex}
\else % We're running PdfTeX
\documentclass[pdftex,12pt,twoside]{book}
%\usepackage{thumbpdf}
\RequirePackage[pdftex]{hyperref}
\hypersetup{colorlinks=true, %
plainpages=false, %
pdfpagelabels, %
%hyperindex=true, %
%backref=true, %
%bookmarks=true, %
pdftitle={A Gentle Introduction to the Art of Mathematics}, %
pdfauthor={Joseph E. Fields}, %
pdfsubject={Foundations of Mathematics}, %
%pdfpagelayout=SinglePage, %
%pdfpagetransition=Dissolve, %
pdfstartview=FitH, %
%pdfstartpage=1, %
%pdffitwindow=true
}
\pdfcompresslevel=9
\typeout{Use 'fig4latex -p' then 'make' to format graphics for pdflatex.}
\fi
\usepackage[english]{babel} %language selection
\selectlanguage{english}
\usepackage{makeidx}
\usepackage{graphicx}
\usepackage{rotating}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{color}
\usepackage{ifthen}
%All my customized LaTeX commands are in this file:
\input{my_latex_definitions.tex}
%set up the booleans (we are doing the textbook here).
\setboolean{InTextBook}{true}
\setboolean{InWorkBook}{false}
\setboolean{InHints}{false}
%Things that effect the size and placement of text on the page
\renewcommand{\baselinestretch}{1.3}
\renewcommand{\arraystretch}{.77}
\addtolength{\textheight}{.25in}
\addtolength{\oddsidemargin}{.75in}
\addtolength{\evensidemargin}{-.75in}
\makeindex
\begin{document}
\frontmatter
\title{A Gentle Introduction to the Art of Mathematics\\ {\small Version \versionNum \ifthenelse{\boolean{LNotIsSim}}{S}{}\ifthenelse{\boolean{ZeroInNaturals}}{}{N} }}
\author{Joe Fields}
\date{Southern Connecticut State University}
\maketitle
\clearpage
\input{legalpage.tex}
\clearpage
\rule{0pt}{0pt}
\vfill
\begin{quote}
{\Large \bf Acknowledgments}
This is version \versionNum of {\em A Gentle Introduction to the Art of Mathematics}.
Earlier versions were used and classroom tested by several colleagues:
Robert Vaden-Goad, John Kavanagh, Ross Gingrich, Aaron Clark. I thank you all.
A particular debt of gratitude is owed to Len Brin whose keen eyes caught
a number of errors and inconsistencies, and who contributed many new
exercises -- thanks, Len.
\end{quote}
\vfill
\begin{quote}
{\Large \bf A word about options}
There are currently 4 optional versions of this text. The different options are distinguished with
flags following the version number. Thus you may see a plain ``version \versionNum'' (no flags)
or any of the following: ``version \versionNum S'', ``version \versionNum N'', or ``version \versionNum SN''.
The S flag is for those who prefer the symbol $\sim$ to represent
logical negation. (The default is to
use the symbol $\savedlnot$ for logical negation.) The N flag distinguishes a version in which
the convention that $1$ is the smallest natural number is followed throughout. The absence
of the N flag indicates the original version of the text in which the naturals do not contain $0$
in chapters 1 through 4 and (after the Peano axioms are introduced) that convention is changed
to the more modern rule.
\end{quote}
\vfill
\clearpage
\tableofcontents
\listoffigures
\listoftables
%\input{pref1}
%\input{pref2}
\mainmatter
\include{intro/intro}
\include{logic/logic}
\include{proof1/proof1}
\include{sets/sets}
\include{proof2/proof2}
\include{rel/rel}
\include{proof3/proof3}
\include{card/card}
\include{proof4/proof4}
\bibliographystyle{plain}
\bibliography{main}
\addcontentsline{toc}{chapter}{References}
\phantomsection
\markboth{REFERENCES}{REFERENCES}%
%\addcontentsline{toc}{chapter}{GNU Free Documentation License}
%\phantomsection
%\markboth{GFDL}{GFDL}%
%\include{fdl-1.3}
\addcontentsline{toc}{chapter}{Index}
\phantomsection
\markboth{INDEX}{INDEX}
\printindex
\end{document}