Halmos: Naive Set Theory (Quarto Edition)

This repository contains a modern re-edition of Paul R. Halmos's classic Naive Set Theory, authored using Quarto.

The project is based on the LaTeX source and OCR work by Matheus Girola Macedo Barbosa.

The original text is currently in the public domain and can be accessed via the Hathi Trust Digital Library.

---

📖 Read Online

You can access the rendered versions of the book through the following links:

Format	Link
🌐 HTML	View Web Version
📄 PDF	Download PDF
📑 DOCX	Download DOCX

---

🛠 Build from Source

To generate the book locally, ensure you have Git and Quarto installed on your system.

Clone the Repository

Open your terminal and run the following commands to download the code and enter the project folder:

git clone https://github.com/luifrancgom/halmos_naive_set_theory_quarto.git
cd halmos_naive_set_theory_quarto

Install Dependencies

To render the PDF version, you need a LaTeX distribution. If you do not have one installed, Quarto can set up a lightweight version (TinyTeX) for you:

quarto install tinytex

Render the Book

Once the dependencies are ready, you can render all formats (HTML and PDF) with a single command:

quarto render

Accessing Intermediate Files

By default, Quarto cleans up intermediate files after rendering. If you want to inspect the generated .tex (LaTeX) or .md (Markdown) source files, you must modify the _quarto.yml configuration file.

Uncomment (or add) the following options under the pdf format section:

format:
  pdf:
    keep-md: true
    keep-tex: true

After saving the changes to _quarto.yml, run quarto render again. The files will then remain in your project directory for you to access.

⚖️ License and Attribution

This project is licensed under the CC BY-NC-SA 4.0.

Credits

• Original Text: Naive Set Theory (1960) by Paul Halmos. The original content is in the Public Domain and can be accessed via the HathiTrust Digital Library.
• LaTeX Source & OCR: This edition is based on the LaTeX conversion and OCR work by Matheus Girola Macedo Barbosa. Used with permission.
• Quarto Conversion: Modernized and converted to Quarto by Luis Francisco Gomez Lopez.
• Cover Image: Corresponds to a fragment of The Garden of Earthly Delights by Hieronymus Bosch (circa 1450–1516), which is a Public Domain work.