This directory contains the following subdirectories:
| directory | hits |
|---|---|
| cl | 2168 |
| foundations | 431 |
| rda40 | 113 |
and the following files:
| name | title | size | hits | mdate |
|---|---|---|---|---|
| MathLogic-i.html | 2050 | 46 | 2012-09-28 | |
| MathLogic-m.html | Mathematical Logic | 6101 | 48 | 2012-09-28 |
| MathLogic.html | Mathematical Logic | 1029 | 36 | 2012-09-28 |
| ar001-i.html | 2315 | 26 | 2012-09-28 | |
| ar001-m.html | The Automation of Reason | 9778 | 28 | 2012-09-28 |
| ar001.html | The Automation of Reason | 1096 | 28 | 2012-09-28 |
| engl001.htm | Engineering Logic | 443 | 101 | 1998-10-01 |
| engl002.htm | The Next Logical Revolution | 3124 | 37 | 1998-08-01 |
| engl003.htm | Logical Revolutions | 1716 | 34 | 1996-09-05 |
| engl004.htm | IndexFrame: Engineering Logic | 1125 | 87 | 1998-10-01 |
| engl005.htm | MainFrame: Engineering Logic | 13358 | 87 | 1998-08-26 |
| index.htm | Logic at RBJones.com | 617 | 331 | 2009-03-31 |
| inter002.htm | Reflexive Logical Systems | 1419 | 31 | 1996-07-20 |
| inter003.htm | New Classical Logical Systems | 4619 | 44 | 1997-11-15 |
| inter004.htm | IndexFrame: Pure Functions | 1221 | 67 | 1999-10-12 |
| inter005.htm | MainFrame: Pure Functions | 19729 | 70 | 1999-10-12 |
| inter006.htm | Why ProofPower? | 4974 | 28 | 1996-07-20 |
| inter007.htm | The Theory zfc | 446 | 35 | 2000-01-31 |
| inter007i.htm | IndexFrame: The Theory zfc | 1351 | 45 | 2000-01-31 |
| inter007m.htm | MainFrame: The Theory zfc | 14775 | 47 | 2000-01-31 |
| inter008.htm | The Theory combin | 458 | 29 | 2000-01-31 |
| inter008i.htm | IndexFrame: The Theory combin | 1233 | 40 | 2000-01-31 |
| inter008m.htm | MainFrame: The Theory combin | 4238 | 46 | 2000-01-31 |
| inter009.htm | The Theory sum | 446 | 41 | 2000-01-31 |
| inter009i.htm | IndexFrame: The Theory sum | 1288 | 42 | 2000-01-31 |
| inter009m.htm | MainFrame: The Theory sum | 8516 | 44 | 2000-01-31 |
| inter010.htm | The Theory char | 450 | 31 | 2000-01-31 |
| inter010i.htm | IndexFrame: The Theory char | 1247 | 46 | 2000-01-31 |
| inter010m.htm | MainFrame: The Theory char | 3170 | 52 | 2000-01-31 |
| inter011.htm | The Theory pf | 442 | 32 | 2000-01-31 |
| inter011i.htm | IndexFrame: The Theory pf | 1028 | 44 | 2000-01-31 |
| inter011m.htm | MainFrame: The Theory pf | 2867 | 47 | 2000-01-31 |
| inter012.htm | ZFC in HOL | 1206 | 38 | 1999-10-31 |
| inter013.htm | Pure Functions | 514 | 74 | 1999-10-12 |
| inter014-i.htm | 3283 | 42 | 2012-09-28 | |
| inter014-m.htm | Notes on Proof Theoretic Strength | 29896 | 43 | 2012-09-28 |
| inter014.htm | Notes on Proof Theoretic Strength | 1116 | 47 | 2012-09-28 |
| jrh0100.htm | Formalized Mathematics | 2801 | 132 | 1998-11-15 |
| jrh0101.htm | History and Philosophy | 8695 | 36 | 1996-08-26 |
| jrh0102.htm | Rigour and the axiomatic method | 9441 | 58 | 1996-08-16 |
| jrh0103.htm | The History of Formal Logic | 9792 | 103 | 1996-08-16 |
| jrh0104.htm | Hilbert's Programme | 11247 | 51 | 1996-08-16 |
| jrh0105.htm | The Bourbaki view | 9531 | 72 | 1996-08-16 |
| jrh0106.htm | Enter the computer | 6175 | 46 | 1996-08-16 |
| jrh0107.htm | Automated Reasoning | 12792 | 45 | 1996-08-16 |
| jrh0108.htm | Formalizing mathematics | 4750 | 42 | 1996-08-16 |
| jrh0109.htm | Formalization | 6166 | 84 | 1996-08-16 |
| jrh0110.htm | Criticism and reconstruction | 9792 | 60 | 1996-08-16 |
| jrh0111.htm | The choice of a foundational system | 17083 | 51 | 1996-08-16 |
| jrh0112.htm | Definitions and locutions | 10050 | 36 | 1996-08-16 |
| jrh0113.htm | Partial functions and undefined terms | 10617 | 75 | 1998-11-01 |
| jrh0114.htm | Practical issues | 1335 | 37 | 1996-08-16 |
| jrh0115.htm | Feasibility | 7391 | 36 | 1996-08-16 |
| jrh0116.htm | Extensibility and LCF | 14783 | 39 | 1997-12-08 |
| jrh0117.htm | Metatheory and reflection | 15059 | 76 | 1997-12-08 |
| jrh0118.htm | How much automation do we want? | 5654 | 43 | 1998-08-14 |
| jrh0119.htm | User interaction | 8826 | 43 | 1996-08-16 |
| jrh0120.htm | Experience of formalized mathematics | 8929 | 52 | 1996-08-16 |
| jrh0121.htm | The Future | 3157 | 43 | 1996-08-16 |
| jrh0122.htm | Acknowledgements | 2372 | 38 | 1996-08-16 |
| jrh0123.htm | Glossary | 5259 | 41 | 1998-10-15 |
| jrh01b.htm | Bibliography on Formalised Mathematics | 44454 | 108 | 1998-10-15 |
| jrh01f.htm | Formalised Mathematics - footnotes | 14649 | 60 | 1998-08-07 |
| log000.htm | Factasia Logic Netlinks | 519 | 54 | 1999-09-19 |
| log001.htm | What is Logic? | 481 | 2574 | 1998-07-31 |
| log002.htm | Effective Procedures | 3232 | 75 | 1998-06-12 |
| log003.htm | Boolean Propositional Logic | 3487 | 186 | 1999-09-30 |
| log004.htm | An Introduction to Propositional Logics | 551 | 339 | 1998-06-23 |
| log005.htm | Formal Foundation Systems for Mathematics | 3804 | 88 | 1999-10-02 |
| log006.htm | Why Logic is Important | 2499 | 241 | 1996-05-23 |
| log007.htm | Applications of Logic | 466 | 241 | 1999-10-12 |
| log008.htm | Maths, Logic, Computing - Past Present and Future | 5482 | 47 | 1998-09-27 |
| log009.htm | Proof and Computation | 3911 | 57 | 1998-08-23 |
| log010.htm | Deductive Support for Science and Engineering | 3640 | 31 | 1998-08-23 |
| log011.htm | HOST features | 3541 | 40 | 2006-01-21 |
| log012.htm | HOST rationale | 2903 | 42 | 1999-10-07 |
| log013.htm | HOST pedigree | 3003 | 39 | 1999-10-07 |
| log014.htm | The Iterative Conception of Set | 674 | 77 | 1997-12-31 |
| log015.htm | Perspectives on the Scope of Logic | 2996 | 67 | 1998-08-23 |
| log016.htm | Factasia - Books on Logic | 397 | 53 | 1999-10-08 |
| log017.htm | Semi-Formal Description of Propositional Logic | 6096 | 63 | 2001-10-11 |
| log018.c | Formal Specification of Propositional Logic in C | 3846 | 1998-06-14 | |
| log018.htm | Formal Specification of Propositional Logic in ML | 6974 | 72 | 1998-11-27 |
| log018.sml | Formal specification of propositional logic in ML | 2683 | 1998-06-14 | |
| log019.htm | First-Order Predicate Logic | 6028 | 524 | 2008-03-25 |
| log020.htm | Semi-Formal Description of First Order Predicate Logic | 9139 | 73 | 1998-11-27 |
| log021.htm | Formal Specification of First-Order Predicate Logic in ML | 12954 | 102 | 1998-11-27 |
| log021.sml | syntax of predicate logic in ML | 4779 | 1998-04-08 | |
| log022.htm | MainFrame: Books on Logic | 16069 | 90 | 2001-07-23 |
| log023.htm | IndexFrame: Books on Logic | 2414 | 52 | 1999-10-08 |
| log024.htm | IndexFrame: Logic | 2512 | 608 | 2009-03-31 |
| log025.htm | MainFrame: Logic at RBJones.com | 29508 | 800 | 2009-09-28 |
| log026.htm | The Definition of V | 500 | 25 | 1999-09-21 |
| log027.htm | IndexFrame: The Definition of V | 1263 | 37 | 2002-09-22 |
| log028.htm | MainFrame: The Definition of V | 8735 | 62 | 2003-03-15 |
| log029.htm | MainFrame: The Iterative Conception of Set | 6393 | 77 | 2006-04-24 |
| log030.htm | IndexFrame: The Iterative Conception of Set | 1225 | 74 | 2002-10-04 |
| log031.htm | HOST Implementation Features | 591 | 46 | 1997-12-31 |
| log032.htm | IndexFrame: HOST Implementation Features | 1137 | 49 | 1999-10-07 |
| log033.htm | MainFrame: HOST Implementation Features | 5665 | 52 | 2009-05-09 |
| log034.htm | HOST - Higher Order Set Theory | 650 | 79 | 1998-01-04 |
| log035.htm | IndexFrame: HOST - Higher Order Set Theory | 1072 | 57 | 1999-10-07 |
| log036.htm | MainFrame: HOST - Higher Order Set Theory | 8264 | 74 | 1999-10-07 |
| log037.htm | IndexFrame: What is Logic? | 1207 | 2433 | 1998-07-31 |
| log038.htm | MainFrame: What is Logic? | 21270 | 2494 | 2009-07-04 |
| log039.htm | IndexFrame: An Introduction to Propositional Logics | 1223 | 294 | 1998-06-30 |
| log040.htm | MainFrame: An Introduction to Propositional Logics | 11618 | 315 | 2009-05-08 |
| log041.htm | Boolean Propositional Connectives | 596 | 44 | 1998-07-10 |
| log042.htm | IndexFrame: Boolean Propositional Connectives | 907 | 51 | 1998-07-10 |
| log043.htm | MainFrame: Boolean Propositional Connectives | 4947 | 51 | 1998-07-10 |
| log044.htm | Logical People | 5731 | 32 | 1998-11-12 |
| log045.htm | IndexFrame: Factasia Logic Netlinks | 1311 | 39 | 1998-11-27 |
| log046.htm | MainFrame: Factasia Logic Netlinks | 12113 | 44 | 2004-12-23 |
| log047.htm | Semi-Formal Description of Frege's Begriffsschrift | 3827 | 34 | 1998-11-27 |
| log048.htm | Boolean Operators | 551 | 161 | 2000-03-05 |
| log049.htm | IndexFrame: Boolean Operators | 1804 | 134 | 1999-10-02 |
| log050.htm | MainFrame: Boolean Operators | 34388 | 166 | 2001-02-24 |
| log051.htm | IndexFrame: Applications of Logic | 1351 | 224 | 2000-03-05 |
| log052.htm | MainFrame: Applications of Logic | 15876 | 223 | 1999-10-12 |
| log053.htm | Varieties of Logic | 642 | 58 | 1999-10-05 |
| log054.htm | IndexFrame: Varieties of Logic | 1233 | 55 | 1999-10-05 |
| log055.htm | MainFrame: Varieties of Logic | 8909 | 61 | 1999-10-05 |
| qedres00.htm | the QED Manifesto | 1721 | 112 | 1998-08-13 |
| qedres01.htm | the QED Manifesto - Why is QED important | 11946 | 73 | 1996-03-31 |
| qedres02.htm | the QED Manifesto - Some Objections | 19500 | 61 | 1996-03-31 |
| qedres03.htm | the QED Manifesto - Some Background | 11300 | 52 | 1996-03-31 |
| qedres04.htm | QED Manifesto - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR) | 2642 | 45 | 1996-03-31 |
| qedres05.htm | QED Manifesto - The Root Logic | 10524 | 57 | 1996-03-31 |
| qedres06.htm | QED Manifesto - What Is To Be Done? | 8154 | 54 | 1996-03-31 |
| qedres07.htm | QED Manifesto - copyright and authorship | 1945 | 44 | 1996-03-31 |
| qedres08.htm | QED Manifesto - RBJ's Critique | 2957 | 49 | 1998-08-13 |
| qedres09.htm | the QED Manifesto - RBJ's critique | 5256 | 41 | 1996-03-31 |
| qedres10.htm | QED Manifesto - some objections and responses - RBJ's critique | 5201 | 36 | 1996-03-31 |
| qedres11.htm | QED Manifesto critique - Some Background, Being a Critique of Current Related Efforts | 3294 | 33 | 1996-03-31 |
| qedres12.htm | QED Manifesto critique - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR) | 1277 | 34 | 1996-03-31 |
| qedres13.htm | QED Manifesto critique - The Root Logic | 1156 | 33 | 1996-03-31 |
| qedres14.htm | QED Manifesto critique - What Is To Be Done? | 2301 | 40 | 1996-03-31 |
| qedres15.htm | QED Manifesto - copyright and authorship | 945 | 34 | 1996-03-31 |
| qedres16.htm | the QED Manifesto - what's new? | 1170 | 44 | 1998-08-13 |
| qedresab.htm | the QED Manifesto - RBJ edition | 1562 | 35 | 1998-08-13 |
| rbj006.htm | Logic is Important? | 3481 | 61 | 1998-08-13 |
00-00-00