https://github.com/wsollers/lra-volume-viii
Volume VIII of Learning Real Analysis: Model theory, type theory, lambda calculus, and foundations of computation.
https://github.com/wsollers/lra-volume-viii
foundations lambda-calculus latex learning-real-analysis mathematical-logic model-theory proof-theory type-theory
Last synced: 5 days ago
JSON representation
Volume VIII of Learning Real Analysis: Model theory, type theory, lambda calculus, and foundations of computation.
- Host: GitHub
- URL: https://github.com/wsollers/lra-volume-viii
- Owner: wsollers
- Created: 2026-06-01T15:45:56.000Z (14 days ago)
- Default Branch: main
- Last Pushed: 2026-06-09T03:58:59.000Z (6 days ago)
- Last Synced: 2026-06-09T05:23:34.092Z (6 days ago)
- Topics: foundations, lambda-calculus, latex, learning-real-analysis, mathematical-logic, model-theory, proof-theory, type-theory
- Language: Python
- Size: 1.63 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Governance: docs/governance/README.md
- Agents: AGENTS.md
Awesome Lists containing this project
README
# Learning Real Analysis - Volume VIII
Standalone split repository for **Volume VIII: Mathematical Logic and Foundations**.
This repository is a planned-volume stub created during the eight-volume migration. It contains the shared build support files, the `volume-viii/` source tree, and the canonical frontispiece asset `images/hilbert.png`.
Sync back to the monorepo is active through `.github/workflows/sync-to-monorepo.yml`. The workflow is path-scoped to `volume-viii/**` and mirrors `volume-viii/` into `Learning-Real-Analysis/volume-viii/`.