LogicBook/frontmatter.tex at master · rexpage/LogicBook · GitHub

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
\title{Essential Logic for Computer Science}
%\subtitle{}
%\edition{}
\author{Rex Page and Ruben Gamboa}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% makes half titlepage print, using info above
\vspace*{-3.1mm}
\halftitlepage
\clearpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Series Page
% \begin{seriespage}
%  \seriestitle{}
%  \serieseditor{}

%% repeat often as needed
%  \title{}
%  \author{}

%  \title{}
%  \author{}
%  \end{seriespage}

% ie,
% \begin{seriespage}
% \seriestitle{Industrial Economics}
% \serieseditor{Miriam Smith and Simon Rattle, editors}
% \title{Engineering and Economics}
% \author{Samuel Endgrove}
% \title{Structural Economics: From Beginning to End}
% \author{Guang Xi}
% \end{seriespage}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Make titlepage print, using info given above
\titlepage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Copyright page

\begin{copyrightpage}
\textcopyright{} 2018 Massachusetts Institute of Technology\\
 \\
All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.\\
 \\
This book was set in {LaTeX} by the authors.
%{Comp: Please fill in font, compositor, and location}
Printed and bound in the United States of America.\\
 \\
Library of Congress Cataloging-in-Publication Data\\
 \\
Names: Page, Rex L., author. | Gamboa, Ruben, author.\\
Title: Essential logic for computer science / Rex Page and Ruben Gamboa.\\
Description: Cambridge, MA ; London, England : The MIT Press, [2018] |
Includes bibliographical\\%\hspace*{2mm}
references and index.\\
Identifiers: LCCN 2018016822 | ISBN 9780262039185 (hardcover : alk. paper)\\
Subjects:  LCSH: Computer logic.\\
Classification: LCC QA76.9.L63 P34 2018 | DDC 005.101/5113—dc23 LC record available at https://lccn.loc.gov/2018016822\\
 \\
10 ~~ 9 ~~ 8 ~~ 7 ~~ 6 ~~ 5 ~~ 4 ~~ 3 ~~ 2 ~~ 1
\end{copyrightpage}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Dedication page
\dedication{To Lucy Saarni, artist and philosopher \\--- Rex \\[2em]
and \\[2em]
To Mona Gamboa and the kids, who enrich life and laugh, sometimes, at logic jokes \\--- Ruben}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Table of Contents, List of Figures, List of Tables
\tableofcontents
%%% These lists are optional:
% \listoffigures
% \listoftables