{"_meta":{"version":"v1","created":"2026-05-09","notes":"Manifest of public-domain or copyleft-redistributable math / logic / computer-science textbooks for surface-ingest into arborist (#000031). License discipline: PD = public domain by age; CC-BY-SA = redistributable with attribution + share-alike; GFDL = redistributable under GNU Free Documentation License. Excludes CC-BY-NC and proprietary texts. Two ingest paths: (a) `urls` — explicit URL list fed into HtmlPageSource for shallow ingest; (b) `crawl_url` + `crawl_depth` + `crawl_max` — seed for the BFS crawler (`make crawl-textbooks` iterates these, one shard per host). The crawler is the right path for full-book ingest because PreTeXt / Wikisource textbooks split into many chapter URLs."}}
{"id":"bogart-ctgd-2017","title":"Combinatorics Through Guided Discovery","author":"Kenneth P. Bogart","year":"2017 (estate-released open)","license":"GFDL-1.3","license_url":"https://www.gnu.org/licenses/fdl-1.3.html","domain":"combinatorics","pillar_targets":["VII"],"urls":["https://bogart.openmathbooks.org/ctgd/index.html"],"home_url":"https://bogart.openmathbooks.org/","crawl_url":"https://bogart.openmathbooks.org/ctgd/index.html","crawl_depth":2,"crawl_max":80,"notes":"Pedagogical combinatorics text. Author's estate explicitly opened under GFDL. Bogart crawl @ depth=2 yields ~44 chapters / ~80KB indexable text. Excellent fit for claim-pack pillar VII source citations."}
{"id":"keller-trotter-applied-comb-2017","title":"Applied Combinatorics","author":"Mitchel T. Keller, William T. Trotter","year":"2017+","license":"CC-BY-SA-4.0","license_url":"https://creativecommons.org/licenses/by-sa/4.0/","domain":"combinatorics","pillar_targets":["VII"],"urls":["https://appliedcombinatorics.org/book/app-comb-2.html"],"home_url":"https://appliedcombinatorics.org/book/","crawl_url":"https://appliedcombinatorics.org/book/app-comb-2.html","crawl_depth":2,"crawl_max":80,"notes":"AIM-approved open textbook from Georgia Tech, PreTeXt-generated. NOTE: appliedcombinatorics.org's robots.txt declares `Crawl-Delay: 20` — full BFS takes ~25 minutes. Operators should run this crawl in the background or use a higher CRAWL_MAX cap with patience."}
{"id":"levin-discrete-math-3rd","title":"Discrete Mathematics: An Open Introduction (3rd edition)","author":"Oscar Levin","year":"2019","license":"CC-BY-SA-4.0","license_url":"https://creativecommons.org/licenses/by-sa/4.0/","domain":"discrete-mathematics","pillar_targets":["I","II","III","VII"],"urls":["https://discrete.openmathbooks.org/dmoi3/frontmatter.html"],"home_url":"https://discrete.openmathbooks.org/dmoi3/","crawl_url":"https://discrete.openmathbooks.org/dmoi3/frontmatter.html","crawl_depth":2,"crawl_max":80,"notes":"Discrete-math text covering logic, set theory, proof techniques, basic number theory, functions, relations, elementary combinatorics. 3rd ed is CC-BY-SA-4.0; the 4th edition switched to CC-BY-NC-SA which is incompatible with our distribution profile — pin to the 3rd."}
{"id":"hilbert-foundations-geometry-1902","title":"The Foundations of Geometry","author":"David Hilbert (E. J. Townsend, transl.)","year":"1899/1902 (Townsend translation)","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"geometry","pillar_targets":["IV"],"urls":[],"home_url":"https://www.gutenberg.org/ebooks/17384","tex_url":"https://www.gutenberg.org/files/17384/17384-t/17384-t.tex","pdf_url":"https://www.gutenberg.org/files/17384/17384-pdf.pdf","notes":"Project Gutenberg eBook #17384 — PDF/TeX only, no clean HTML format. URLs intentionally empty until PDF / TeX source support lands; tex_url + pdf_url fields preserved for future ingestion. Hilbert's axiomatization of Euclidean geometry — foundational source cited by claim-pack pillar IV."}
{"id":"boole-laws-of-thought-1854","title":"An Investigation of the Laws of Thought","author":"George Boole","year":"1854","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"logic","pillar_targets":["I"],"urls":[],"home_url":"https://www.gutenberg.org/ebooks/15114","tex_url":"https://www.gutenberg.org/files/15114/15114-t/15114-t.tex","pdf_url":"https://www.gutenberg.org/files/15114/15114-pdf.pdf","notes":"Project Gutenberg eBook #15114 — PDF/TeX only, no HTML format. URLs intentionally empty until PDF / TeX source support lands. Boole's foundational treatise establishing propositional logic / Boolean algebra."}
{"id":"aristotle-prior-analytics-jenkinson","title":"Prior Analytics","author":"Aristotle (A. J. Jenkinson, transl.)","year":"~350 BCE; Jenkinson translation 1928","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"logic","pillar_targets":["I"],"urls":["https://en.wikisource.org/wiki/Prior_Analytics"],"home_url":"https://en.wikisource.org/wiki/Prior_Analytics","crawl_url":"https://en.wikisource.org/wiki/Prior_Analytics","crawl_depth":1,"crawl_max":20,"notes":"Wikisource HTML. The /wiki/Prior_Analytics page is a disambiguation/landing — only ~75% complete as raw text; the deeper transcription lives at /wiki/Index:O._F._Owen%27s_Organon_of_Aristotle_Vol._1_(1853).djvu and its /Page: subpages, which the crawler can follow at depth=2+."}
{"id":"morin-open-data-structures","title":"Open Data Structures","author":"Pat Morin","year":"2013+","license":"CC-BY-2.5","license_url":"https://creativecommons.org/licenses/by/2.5/ca/","domain":"computer-science","pillar_targets":[],"urls":["https://opendatastructures.org/ods-cpp/","https://opendatastructures.org/ods-python/","https://opendatastructures.org/ods-java/"],"home_url":"https://opendatastructures.org/","crawl_url":"https://opendatastructures.org/","crawl_depth":3,"crawl_max":120,"notes":"Comprehensive open data-structures text. CC-BY-2.5 (Canadian port) — fully redistributable. Three language editions (C++, Python, Java) of the same content. ODS crawl @ depth=3 yields ~64 chapters / ~80KB across all three editions."}
{"id":"newton-principia-motte","title":"The Mathematical Principles of Natural Philosophy","author":"Isaac Newton (Andrew Motte transl., 1729 / Motte-Cajori 1846)","year":"1687/1729/1846","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"classical-physics","pillar_targets":["VI"],"urls":["https://en.wikisource.org/wiki/The_Mathematical_Principles_of_Natural_Philosophy_(1729)/Axioms,_or_Laws_of_Motion","https://en.wikisource.org/wiki/The_Mathematical_Principles_of_Natural_Philosophy_(1729)/Definitions","https://en.wikisource.org/wiki/The_Mathematical_Principles_of_Natural_Philosophy_(1729)/Rules_of_Reasoning_in_Philosophy"],"home_url":"https://en.wikisource.org/wiki/The_Mathematical_Principles_of_Natural_Philosophy","crawl_url":"https://en.wikisource.org/wiki/The_Mathematical_Principles_of_Natural_Philosophy_(1729)","crawl_depth":3,"crawl_max":120,"notes":"Wikisource HTML, English Motte 1729 translation. Pinned to the (1729) edition root + axioms / definitions / rules-of-reasoning subpages. Initial crawl_url at `/The_Mathematical_Principles_of_Natural_Philosophy` (no edition) bottomed out at navigation cruft — most chunks were Wikisource portal pages, NOT the Laws of Motion text. Subpages explicitly listed under `urls` (Axioms_or_Laws_of_Motion, Definitions, Rules_of_Reasoning_in_Philosophy) so they ingest even if the BFS doesn't reach them at depth=3. Cited by claim-pack pillar VI records (Newton's three laws + conservation of momentum + work-energy theorem)."}
{"id":"aristotle-posterior-analytics","title":"Posterior Analytics","author":"Aristotle (G. R. G. Mure, transl.)","year":"~350 BCE; Mure translation 1928","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"logic","pillar_targets":["I"],"urls":["https://en.wikisource.org/wiki/Posterior_Analytics"],"home_url":"https://en.wikisource.org/wiki/Posterior_Analytics","crawl_url":"https://en.wikisource.org/wiki/Posterior_Analytics","crawl_depth":1,"crawl_max":20,"notes":"Wikisource HTML. Aristotle's treatise on demonstrative knowledge, companion to Prior Analytics. The traditional Mure / Owen translations are PD by age."}
{"id":"kolmogorov-foundations-probability-1933","title":"Foundations of the Theory of Probability","author":"Andrey Kolmogorov (Nathan Morrison transl., 1956)","year":"1933 (German); 1956 (English Morrison)","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"probability","pillar_targets":["V"],"urls":[],"home_url":"https://en.wikipedia.org/wiki/Foundations_of_the_Theory_of_Probability","notes":"License analysis pending. German original (Grundbegriffe der Wahrscheinlichkeitsrechnung, 1933) PD-by-age in EU but US copyright restored via URAA through life+70 (Kolmogorov d.1987 → US PD 2058). Morrison 1956 English translation: Chelsea Publishing copyright through life+70 of translator. URLs intentionally empty until license decision lands; entry kept for citation traceability."}
{"id":"lukasiewicz-aristotle-syllogistic-1951","title":"Aristotle's Syllogistic from the Standpoint of Modern Formal Logic","author":"Jan Łukasiewicz","year":"1951 (Oxford); 2nd ed 1957","license":"PROPRIETARY","license_url":"https://global.oup.com/academic/legal/copyright/","domain":"logic","pillar_targets":["I"],"urls":[],"home_url":"https://en.wikipedia.org/wiki/Jan_%C5%81ukasiewicz","notes":"Oxford University Press, copyright through life+70 (Łukasiewicz d.1956 → PD 2027 in EU, longer in US via URAA). NOT redistributable under arborist's allow-list. Entry kept as a license-fail placeholder; the 1921 Polish primary papers ('Two-valued logic', 'On the principle of contradiction in Aristotle') are themselves PD by age but lack accessible HTML editions."}
{"id":"judson-abstract-algebra","title":"Abstract Algebra: Theory and Applications","author":"Thomas W. Judson","year":"2025 (annual revisions; first ed 1997)","license":"GFDL-1.3","license_url":"https://www.gnu.org/licenses/fdl-1.3.html","domain":"abstract-algebra","pillar_targets":["I","IX"],"urls":[],"home_url":"https://judsonbooks.org/abstract-algebra-theory-and-applications/","crawl_url":"https://judsonbooks.org/aata-files/aata-html/aata.html","crawl_depth":2,"crawl_max":40,"notes":"PreTeXt HTML edition. Covers groups, rings, fields, Galois theory + a Boolean-lattice chapter — primary substrate for claim-pack records that cite Dummit-Foote (pillar IX, ~6 records) plus a logic-side touch via the Boolean-algebra chapter (pillar I). Annual revisions; we ingest the canonical /aata-files/aata-html/ static URL which is updated each release."}
{"id":"cantor-transfinite-numbers-jourdain","title":"Contributions to the Founding of the Theory of Transfinite Numbers","author":"Georg Cantor (Philip E. B. Jourdain transl.)","year":"1895/1897 (orig. German); 1915 (Jourdain English)","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"set-theory","pillar_targets":["II"],"urls":["https://en.wikisource.org/wiki/Contributions_to_the_Founding_of_the_Theory_of_Transfinite_Numbers/Article_1"],"home_url":"https://en.wikisource.org/wiki/Contributions_to_the_Founding_of_the_Theory_of_Transfinite_Numbers","notes":"Wikisource. Only Article 1 (~15K words: cardinal number, equivalence, addition/multiplication/exponentiation, finite cardinals) is transcribed; Article 2 page does not exist. Foundational for claim-pack pillar II — Cantor IS the historical primary source modern Jech-style texts derive from. PD by age (Jourdain translation 1915, US PD via pre-1929 rule)."}
{"id":"demorgan-first-notions-logic","title":"First Notions of Logic, Preparatory to the Study of Geometry","author":"Augustus De Morgan","year":"1839","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"logic","pillar_targets":["I"],"urls":["https://www.gutenberg.org/cache/epub/67017/pg67017-images.html"],"home_url":"https://www.gutenberg.org/ebooks/67017","notes":"PG eBook #67017, single-page HTML. ~30 pages: AEIO propositions, syllogism six fundamental forms × four figures, hypothetical / indirect / a fortiori arguments, probabilistic inference. Pre-Boole, pre-Frege, pre-Hilbert; one of the earliest English systematic logic texts. Pillar I supplement to Boole 1854 already ingested."}
{"id":"russell-imp-1919","title":"Introduction to Mathematical Philosophy","author":"Bertrand Russell","year":"1919","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"logic-foundations","pillar_targets":["I","II","III"],"urls":["https://www.gutenberg.org/cache/epub/41654/pg41654-images.html"],"home_url":"https://www.gutenberg.org/ebooks/41654","notes":"PG eBook #41654, single-page HTML. ~200 pages covering natural numbers, definition of number, finite & infinite, classes & types, propositional functions, descriptions, relations, axiom of infinity, axiom of choice. Bridges pillars I (logic), II (transfinite cardinals), III (Peano arithmetic). Russell wrote IMP after Principia Mathematica as a non-symbolic exposition; PD by age (1919 + URAA = 95 years = 2015)."}
{"id":"peano-arithmetices-principia-1889","title":"Arithmetices Principia, Nova Methodo Exposita / The Principles of Arithmetic, Presented by a New Method","author":"Giuseppe Peano (Vincent Verheyen + Michael Nahas, transl. + ed.)","year":"1889 (orig. Latin); 2018+ (Verheyen English, current revisions through 2022+)","license":"CC-BY-SA-4.0","license_url":"https://creativecommons.org/licenses/by-sa/4.0/","domain":"arithmetic","pillar_targets":["III"],"urls":[],"home_url":"https://github.com/mdnahas/Peano_Book","tex_url":"https://raw.githubusercontent.com/mdnahas/Peano_Book/master/Peano.tex","notes":"Side-by-side Latin (Peano 1889) + English (Verheyen 2018) translation with modern math notation, hosted on mdnahas/Peano_Book GitHub repo under CC-BY-SA-4.0. The 1889 Latin original IS the primary source for Peano arithmetic axioms (zero, successor, induction); Landau 1929 and Gödel 1931 both rederive from this. Ingest path: textbook_tex (paracol multi-column macros leak some `gobble 1cm` / `0.5cm` residue but substantive English text extracts cleanly — 39 chunks, 35 hits on 'peano', 38 on 'arithmetic'). Pillar III is gated on a fox decision to alias Landau + Gödel citations to Peano via #000041."}
{"id":"russell-pom-1903","title":"The Principles of Mathematics","author":"Bertrand Russell (Klement HTML typesetting 2024)","year":"1903 (orig.); 2024 (Klement HTML reformat)","license":"CC-BY-SA-4.0","license_url":"https://creativecommons.org/licenses/by-sa/4.0/","domain":"logic-foundations","pillar_targets":["I","II"],"urls":["https://people.umass.edu/klement/pom/pom.html"],"home_url":"https://people.umass.edu/klement/pom/","notes":"Kevin C. Klement's HTML typesetting of Russell's 1903 *Principles of Mathematics*. Russell's text is PD (1903 + URAA expired); Klement's typesetting is CC-BY-SA-4.0. Single-page HTML (~25K lines / ~1MB). Russell PoM is more class-theoretic and ZFC-foundational than IMP 1919 (PoM was the precursor to Principia Mathematica). Pillar I/II coverage extension: contains Russell's Paradox derivation, class theory, relations, magnitudes — what IMP and PM leave for the technical reader. Cited by claim-pack as Mendelson/Enderton substrate."}
{"id":"laplace-philosophical-essay-probabilities","title":"A Philosophical Essay on Probabilities","author":"Pierre-Simon Laplace (Truscott + Emory transl. 1902)","year":"1814 (French orig.); 1902 (English Truscott-Emory)","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"probability","pillar_targets":["V"],"urls":["https://www.gutenberg.org/cache/epub/58881/pg58881-images.html"],"home_url":"https://www.gutenberg.org/ebooks/58881","notes":"PG eBook #58881, single-page HTML. Laplace 1814 *Essai philosophique sur les probabilités* is the foundational popular treatise on probability — predates Kolmogorov 1933 by 119 years but covers expected value, conditional probability, additive law, large-numbers reasoning, applications to natural philosophy. PD by age (Truscott-Emory English 1902 = pre-1929 US PD). Pillar V substrate; Kolmogorov 1933 axiomatizes what Laplace introduces narratively."}
{"id":"dedekind-essays-theory-numbers","title":"Essays on the Theory of Numbers (I. Continuity and irrational numbers, II. The nature and meaning of numbers)","author":"Richard Dedekind (Wooster Woodruff Beman, transl. 1901)","year":"1872 + 1888 (German orig.); 1901 (English Beman)","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"arithmetic","pillar_targets":["III"],"urls":[],"home_url":"https://www.gutenberg.org/ebooks/21016","tex_url":"https://www.gutenberg.org/files/21016/21016-t/21016-t.tex","notes":"PG eBook #21016 — TeX-only (no HTML edition); ingest via textbook_tex pipeline (proven against Hilbert + Boole + Peano). Dedekind is the OTHER pillar III primary alongside Peano: 'Was sind und was sollen die Zahlen?' (1888) introduced the chains-and-induction definition of natural numbers; 'Stetigkeit und irrationale Zahlen' (1872) is the cuts construction of the reals. Beman 1901 English. PD by age. Closes the induction / completeness side of Landau citations that Peano alone misses."}
{"id":"plfa-wadler-kokke-siek","title":"Programming Language Foundations in Agda","author":"Philip Wadler, Wen Kokke, Jeremy G. Siek","year":"2018+ (continuously revised)","license":"CC-BY-4.0","license_url":"https://creativecommons.org/licenses/by/4.0/","domain":"lambda-calculus","pillar_targets":["IX"],"urls":[],"home_url":"https://plfa.github.io/","crawl_url":"https://plfa.github.io/","crawl_depth":2,"crawl_max":60,"notes":"Open-source Agda + lambda calculus textbook from University of Edinburgh; CC-BY-4.0 explicit. Covers introduction to lambda calculus, untyped lambda calculus with full normalisation, Confluence/Church-Rosser, simply-typed lambda calculus, properties (progress + preservation), de Bruijn representation. Pillar IX substrate for the 7-record Barendregt block (β/α/η-conversion, Church-Rosser theorem, fixed-point, Turing completeness)."}
{"id":"sf-pierce-logical-foundations","title":"Software Foundations Volume 1: Logical Foundations","author":"Benjamin C. Pierce et al. (Penn)","year":"2007+ (continuously revised)","license":"MIT","license_url":"https://opensource.org/licenses/MIT","domain":"logic-foundations","pillar_targets":["I","III","IX"],"urls":[],"home_url":"https://softwarefoundations.cis.upenn.edu/lf-current/","crawl_url":"https://softwarefoundations.cis.upenn.edu/lf-current/toc.html","crawl_depth":2,"crawl_max":40,"notes":"Coq-based open textbook on logical foundations of programming languages from UPenn; MIT-licensed (verified against included LICENSE file in lf-current/lf.tgz). Covers basic functional programming, induction, lists, polymorphism + higher-order functions, propositional logic, indexed propositions, total + partial relations, lambda calculus, simply-typed lambda calculus. Pillar III substrate (induction primary) + pillar IX substrate (lambda calculus). Caveat: heavy Coq syntax; the prose-to-code ratio is lower than PLFA."}
{"id":"whitehead-russell-pm-vol1-1910","title":"Principia Mathematica, Volume 1 (Preface + Introduction + Chapters I-III)","author":"Alfred North Whitehead + Bertrand Russell","year":"1910 (Cambridge)","license":"PD","license_url":"https://en.wikipedia.org/wiki/Public_domain","domain":"logic-foundations","pillar_targets":["I","II"],"urls":["https://www.gutenberg.org/cache/epub/78050/pg78050-images.html"],"home_url":"https://www.gutenberg.org/ebooks/78050","notes":"PG eBook #78050, single-page HTML — Volume 1 Preface + Introduction + Chapters I-III only (~20-25% of full Vol 1; the *1 through *97 numbered propositions / type theory formalization not in this excerpt). Includes discussion of paradox resolution + theory of types in narrative form. Pillar I/II — supplementary substrate; the formal type-theoretic Russell's Paradox Resolution lives in the missing body, but the conceptual treatment is here. PD by age (1910 + URAA = 95 years = 2005)."}
{"id":"grinstead-snell-intro-probability","title":"Introduction to Probability","author":"Charles M. Grinstead and J. Laurie Snell","year":"1997 (orig.); 2003 (current GFDL revision)","license":"GFDL-1.3","license_url":"https://www.gnu.org/licenses/fdl-1.3.html","domain":"probability","pillar_targets":["V"],"urls":["https://stats.libretexts.org/Bookshelves/Probability_Theory/Introductory_Probability_(Grinstead_and_Snell)"],"home_url":"https://chance.dartmouth.edu/teaching_aids/books_articles/probability_book/book.html","crawl_url":"https://stats.libretexts.org/Bookshelves/Probability_Theory/Introductory_Probability_(Grinstead_and_Snell)","crawl_depth":2,"crawl_max":40,"notes":"GFDL-licensed open probability textbook from Dartmouth's CHANCE Project; LibreTexts mirror is the cleanest HTML edition. Covers Kolmogorov axioms in modern axiomatized form (probability spaces, sample spaces, conditional probability, Bayes' theorem, expected value, law of large numbers, central limit theorem). Pillar V substrate — the closest open-licensed equivalent to Kolmogorov 1933 (which is URAA-blocked in US until 2058)."}
