https://study.thing.rodeo/moderation/index.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/06-mac-lane-lawvere.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/08-mclarty-forster-stratified.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/07-lambek-scott.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/02-quine-math-logic.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/05-forster-holmes.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/test-sandbox/index.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/computation-metalogic/02-syntax.html 2026-07-30T17:35:57.428Z https://study.thing.rodeo/computation-metalogic/index.html 2026-07-30T17:35:57.428Z https://study.thing.rodeo/computation-metalogic/05-translation.html 2026-07-30T17:35:57.428Z https://study.thing.rodeo/computation-metalogic/04-semantics.html 2026-07-30T17:35:57.428Z https://study.thing.rodeo/material-logics-i/07-dimacs-constraint-mapping.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-i/02-official-notation-semantics.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-i/03-proof-theory-direct.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-i/01-syntax-material-basis.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-ii/02-definite-descriptions.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-ii/06-relational-logic-identity.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-ii/index.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-ii/07-metatheory-transition-lean4.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-ii/03-tarskian-semantics.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-ii/01-propositional-to-quantified.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-ii/05-natural-deduction-quantified.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-ii/04-model-checking-counter.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-ii/08-formalization-portfolio.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/material-logics-i/04-hypothetical-reasoning.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-i/08-sat-heuristics-synthesis.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-i/06-normal-forms-machine.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-i/05-indirect-derivations.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/material-logics-i/index.html 2026-07-30T17:35:57.429Z https://study.thing.rodeo/computation-metalogic/06-metalogic.html 2026-07-30T17:35:57.428Z https://study.thing.rodeo/computation-metalogic/01-conceptual-foundations.html 2026-07-30T17:35:57.427Z https://study.thing.rodeo/computation-metalogic/03-deduction.html 2026-07-30T17:35:57.428Z https://study.thing.rodeo/computation-metalogic/07-conclusion.html 2026-07-30T17:35:57.428Z https://study.thing.rodeo/test-sandbox/01-components.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/01-topology-transclusion.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/03-hailperin-axioms.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/index.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/nf-set-theory/04-specker-orey-jensen.html 2026-07-30T17:35:57.430Z https://study.thing.rodeo/index.html 2026-07-30T17:35:57.428Z