UP

Contents of RBJones.com directory: rbjpub/logic

Hit figures shown are for one calendar month.

This directory contains the following subdirectories:

directoryhits
cl1121
foundations242
rda4096

and the following files:
nametitlesizehitsmdate
MathLogic-i.html1597152016-01-18
MathLogic-m.htmlMathematical Logic5641142016-01-18
MathLogic.htmlMathematical Logic1029142016-01-18
ar001-i.html1862242016-01-18
ar001-m.htmlThe Automation of Reason9318252016-01-18
ar001.htmlThe Automation of Reason1096242016-01-18
engl001.htmEngineering Logic443622016-01-18
engl002.htmThe Next Logical Revolution3124182016-01-18
engl003.htmLogical Revolutions1716162016-01-18
engl004.htmIndexFrame: Engineering Logic1125532016-01-18
engl005.htmMainFrame: Engineering Logic13358712016-01-18
index.htmLogic at RBJones.com6171172016-01-18
inter002.htmReflexive Logical Systems1419222016-01-18
inter003.htmNew Classical Logical Systems4619202016-01-18
inter004.htmIndexFrame: Pure Functions1221232016-01-18
inter005.htmMainFrame: Pure Functions19729242016-01-18
inter006.htmWhy ProofPower?4974212016-01-18
inter007.htmThe Theory zfc446232016-01-18
inter007i.htmIndexFrame: The Theory zfc1351322016-01-18
inter007m.htmMainFrame: The Theory zfc14775232016-01-18
inter008.htmThe Theory combin458172016-01-18
inter008i.htmIndexFrame: The Theory combin1233202016-01-18
inter008m.htmMainFrame: The Theory combin4238222016-01-18
inter009.htmThe Theory sum446172016-01-18
inter009i.htmIndexFrame: The Theory sum1288212016-01-18
inter009m.htmMainFrame: The Theory sum8516212016-01-18
inter010.htmThe Theory char450242016-01-18
inter010i.htmIndexFrame: The Theory char1247242016-01-18
inter010m.htmMainFrame: The Theory char3170252016-01-18
inter011.htmThe Theory pf442152016-01-18
inter011i.htmIndexFrame: The Theory pf1028192016-01-18
inter011m.htmMainFrame: The Theory pf2867232016-01-18
inter012.htmZFC in HOL1206222016-01-18
inter013.htmPure Functions514252016-01-18
inter014-i.htm2830212016-01-18
inter014-m.htmNotes on Proof Theoretic Strength29436262016-01-18
inter014.htmNotes on Proof Theoretic Strength1116322016-01-18
jrh0100.htmFormalized Mathematics2801502016-01-18
jrh0101.htmHistory and Philosophy8695172016-01-18
jrh0102.htmRigour and the axiomatic method9441242016-01-18
jrh0103.htmThe History of Formal Logic9792482016-01-18
jrh0104.htmHilbert's Programme11247292016-01-18
jrh0105.htmThe Bourbaki view9531422016-01-18
jrh0106.htmEnter the computer6175202016-01-18
jrh0107.htmAutomated Reasoning12792242016-01-18
jrh0108.htmFormalizing mathematics4750222016-01-18
jrh0109.htmFormalization6166262016-01-18
jrh0110.htmCriticism and reconstruction9792332016-01-18
jrh0111.htmThe choice of a foundational system17083322016-01-18
jrh0112.htmDefinitions and locutions10050192016-01-18
jrh0113.htmPartial functions and undefined terms10617222016-01-18
jrh0114.htmPractical issues1335222016-01-18
jrh0115.htmFeasibility7391252016-01-18
jrh0116.htmExtensibility and LCF14783192016-01-18
jrh0117.htmMetatheory and reflection15059232016-01-18
jrh0118.htmHow much automation do we want?5654192016-01-18
jrh0119.htmUser interaction8826202016-01-18
jrh0120.htmExperience of formalized mathematics8929262016-01-18
jrh0121.htmThe Future3157242016-01-18
jrh0122.htmAcknowledgements2372212016-01-18
jrh0123.htmGlossary5259222016-01-18
jrh01b.htmBibliography on Formalised Mathematics44454362016-01-18
jrh01f.htmFormalised Mathematics - footnotes14649242016-01-18
log000.htmFactasia Logic Netlinks519332016-01-18
log001.htmWhat is Logic?4811562016-01-18
log002.htmEffective Procedures3232352016-01-18
log003.htmBoolean Propositional Logic3487492016-01-18
log004.htmAn Introduction to Propositional Logics551352016-01-18
log005.htmFormal Foundation Systems for Mathematics3804452016-01-18
log006.htmWhy Logic is Important2499732016-01-18
log007.htmApplications of Logic4661112016-01-18
log008.htmMaths, Logic, Computing - Past Present and Future5482172016-01-18
log009.htmProof and Computation3911272016-01-18
log010.htmDeductive Support for Science and Engineering3640172016-01-18
log011.htmHOST features3541232016-01-18
log012.htmHOST rationale2903192016-01-18
log013.htmHOST pedigree3003262016-01-18
log014.htmThe Iterative Conception of Set674342016-01-18
log015.htmPerspectives on the Scope of Logic2996242016-01-18
log016.htmFactasia - Books on Logic397362016-01-18
log017.htmSemi-Formal Description of Propositional Logic6096192016-01-18
log018.cFormal Specification of Propositional Logic in C38462016-01-18
log018.htmFormal Specification of Propositional Logic in ML6974342016-01-18
log018.smlFormal specification of propositional logic in ML26832016-01-18
log019.htmFirst-Order Predicate Logic6028872016-01-18
log020.htmSemi-Formal Description of First Order Predicate Logic9139452016-01-18
log021.htmFormal Specification of First-Order Predicate Logic in ML12954372016-01-18
log021.sml syntax of predicate logic in ML 47792016-01-18
log022.htmMainFrame: Books on Logic16069402016-01-18
log023.htmIndexFrame: Books on Logic2414362016-01-18
log024.htmIndexFrame: Logic25121382016-01-18
log025.htmMainFrame: Logic at RBJones.com295081652016-01-18
log026.htmThe Definition of V500202016-01-18
log027.htmIndexFrame: The Definition of V1263232016-01-18
log028.htmMainFrame: The Definition of V8735302016-01-18
log029.htmMainFrame: The Iterative Conception of Set6393352016-01-18
log030.htmIndexFrame: The Iterative Conception of Set1225272016-01-18
log031.htmHOST Implementation Features591262016-01-18
log032.htmIndexFrame: HOST Implementation Features1137182016-01-18
log033.htmMainFrame: HOST Implementation Features5665212016-01-18
log034.htmHOST - Higher Order Set Theory650262016-01-18
log035.htmIndexFrame: HOST - Higher Order Set Theory1072172016-01-18
log036.htmMainFrame: HOST - Higher Order Set Theory8264222016-01-18
log037.htmIndexFrame: What is Logic?12071262016-01-18
log038.htmMainFrame: What is Logic?212701322016-01-18
log039.htmIndexFrame: An Introduction to Propositional Logics1223292016-01-18
log040.htmMainFrame: An Introduction to Propositional Logics11618302016-01-18
log041.htmBoolean Propositional Connectives596162016-01-18
log042.htmIndexFrame: Boolean Propositional Connectives907262016-01-18
log043.htmMainFrame: Boolean Propositional Connectives4947222016-01-18
log044.htmLogical People5731192016-01-18
log045.htmIndexFrame: Factasia Logic Netlinks1311322016-01-18
log046.htmMainFrame: Factasia Logic Netlinks12113272016-01-18
log047.htmSemi-Formal Description of Frege's Begriffsschrift3827192016-01-18
log048.htmBoolean Operators551482016-01-18
log049.htmIndexFrame: Boolean Operators1804322016-01-18
log050.htmMainFrame: Boolean Operators34388432016-01-18
log051.htmIndexFrame: Applications of Logic1351942016-01-18
log052.htmMainFrame: Applications of Logic158761012016-01-18
log053.htmVarieties of Logic642282016-01-18
log054.htmIndexFrame: Varieties of Logic1233332016-01-18
log055.htmMainFrame: Varieties of Logic8909342016-01-18
qedres00.htmthe QED Manifesto1721532016-01-18
qedres01.htmthe QED Manifesto - Why is QED important11946342016-01-18
qedres02.htmthe QED Manifesto - Some Objections19500342016-01-18
qedres03.htmthe QED Manifesto - Some Background11300212016-01-18
qedres04.htmQED Manifesto - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)2642392016-01-18
qedres05.htmQED Manifesto - The Root Logic10524212016-01-18
qedres06.htmQED Manifesto - What Is To Be Done?8154272016-01-18
qedres07.htmQED Manifesto - copyright and authorship1945222016-01-18
qedres08.htmQED Manifesto - RBJ's Critique2957202016-01-18
qedres09.htmthe QED Manifesto - RBJ's critique5256222016-01-18
qedres10.htmQED Manifesto - some objections and responses - RBJ's critique5201212016-01-18
qedres11.htmQED Manifesto critique - Some Background, Being a Critique of Current Related Efforts3294222016-01-18
qedres12.htmQED Manifesto critique - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)1277192016-01-18
qedres13.htmQED Manifesto critique - The Root Logic1156222016-01-18
qedres14.htmQED Manifesto critique - What Is To Be Done?2301202016-01-18
qedres15.htmQED Manifesto - copyright and authorship945212016-01-18
qedres16.htmthe QED Manifesto - what's new?1170222016-01-18
qedresab.htmthe QED Manifesto - RBJ edition1562192016-01-18
rbj006.htmLogic is Important?3481172016-01-18


up home rbj 00-00-00