![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 05_Ferreiros_Chap05.pdf | 2026-10-18 20:51 | 185K | |
| chapter11.pdf | 2026-10-18 20:51 | 113K | |
| chapter12.pdf | 2026-10-18 20:51 | 227K | |
| atridn_old.pdf | 2026-10-18 20:51 | 201K | |
| tran4814.pdf | 2026-10-18 20:51 | 365K | |
| zen.pdf | 2026-10-18 20:51 | 144K | |
| euclid_notes.htm | 2026-10-18 20:51 | 6.0K | |
| formal_epistemology.pdf | 2026-10-18 20:51 | 208K | |
| understanding2.pdf | 2026-10-18 20:51 | 367K | |
| atridn.pdf | 2026-10-18 20:51 | 344K | |
| forcing_erratum.htm | 2026-10-18 20:51 | 706 | |
| polya_itp.pdf | 2026-10-18 20:51 | 293K | |
| uniform_distribution..> | 2026-10-18 20:51 | 101K | |
| dominated_randomness..> | 2026-10-18 20:51 | 389K | |
| lean_system.pdf | 2026-10-18 20:51 | 104K | |
| modularity.pdf | 2026-10-18 20:51 | 375K | |
| polya.pdf | 2026-10-18 20:51 | 309K | |
| uniform_distribution..> | 2026-10-18 20:51 | 132K | |
| alpha1.pdf | 2026-10-18 20:51 | 260K | |
| alpha2.pdf | 2026-10-18 20:51 | 247K | |
| ontology.pdf | 2026-10-18 20:51 | 246K | |
| constr.pdf | 2026-10-18 20:51 | 137K | |
| hardtaut.pdf | 2026-10-18 20:51 | 177K | |
| idinterp.pdf | 2026-10-18 20:51 | 312K | |
| character_and_object..> | 2026-10-18 20:51 | 240K | |
| interp.pdf | 2026-10-18 20:51 | 271K | |
| openram.pdf | 2026-10-18 20:51 | 96K | |
| ordinals.pdf | 2026-10-18 20:51 | 347K | |
| cacm.pdf | 2026-10-18 20:51 | 2.1M | |
| realize.pdf | 2026-10-18 20:51 | 244K | |
| character_and_object..> | 2026-10-18 20:51 | 496K | |
| wkl.pdf | 2026-10-18 20:51 | 256K | |
| nonstandard.pdf | 2026-10-18 20:51 | 252K | |
| qpf.pdf | 2026-10-18 20:51 | 500K | |
| cutelim.pdf | 2026-10-18 20:51 | 207K | |
| formal_system_for_eu..> | 2026-10-18 20:51 | 468K | |
| mutilated.pdf | 2026-10-18 20:51 | 323K | |
| arwm_notes.pdf | 2026-10-18 20:51 | 205K | |
| herbrand.pdf | 2026-10-18 20:51 | 198K | |
| milestones_intro.pdf | 2026-10-18 20:51 | 101K | |
| ar4math.pdf | 2026-10-18 20:51 | 357K | |
| learning_logic_and_p..> | 2026-10-18 20:51 | 284K | |
| AAFRR-algorithmic-ba..> | 2026-10-18 20:51 | 219K | |
| history_notes.pdf | 2026-10-18 20:51 | 68K | |
| update.pdf | 2026-10-18 20:51 | 190K | |
| admissible.pdf | 2026-10-18 20:51 | 259K | |
| definitions.pdf | 2026-10-18 20:51 | 210K | |
| nonstandard2.pdf | 2026-10-18 20:51 | 296K | |
| dialect.pdf | 2026-10-18 20:51 | 436K | |
| infinite.pdf | 2026-10-18 20:51 | 310K | |
| elementary.pdf | 2026-10-18 20:51 | 250K | |
| omegasubmodels.pdf | 2026-10-18 20:51 | 160K | |
| thoughts.pdf | 2026-10-18 20:51 | 37K | |
| forcing.pdf | 2026-10-18 20:51 | 259K | |
| fundamental.pdf | 2026-10-18 20:51 | 361K | |
| pntnotes.pdf | 2026-10-18 20:51 | 126K | |
| bigo.pdf | 2026-10-18 20:51 | 172K | |
| ergodic.pdf | 2026-10-18 20:51 | 249K | |
| ideals71.pdf | 2026-10-18 20:51 | 319K | |
| PhilMath.pdf | 2026-10-18 20:51 | 154K | |
| ideals71orig.pdf | 2026-10-18 20:51 | 2.0M | |
| dedekind.pdf | 2026-10-18 20:51 | 244K | |
| goedel.pdf | 2026-10-18 20:51 | 161K | |
| method.pdf | 2026-10-18 20:51 | 329K | |
| understanding.pdf | 2026-10-18 20:51 | 270K | |
| bigo.sml | 2026-10-18 20:51 | 20K | |
| bigo2.pdf | 2026-10-18 20:51 | 202K | |
| computers.pdf | 2026-10-18 20:51 | 132K | |
| doubleneg.pdf | 2026-10-18 20:51 | 121K | |
| questionnaire.pdf | 2026-10-18 20:51 | 86K | |
| mkm/ | 2026-10-18 20:51 | - | |
| euclid/ | 2026-10-18 20:51 | - | |