テンプレート — Astronomy & Astrophysics

A&A LaTeX macro package v9.1 downloaded from http://ftp.edpsciences.org/pub/aa/readme.html

The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included. For more information about the journal, see http://pasj.oxfordjournals

Harvard University PhD Thesis Template Default settings for Department of Astronomy, but customizable for any GSAS department