UP

Contents of Factasia directory: rbjpub/logic

Hit figures shown are for one calendar month.

This directory contains the following subdirectories:

directoryhits
cl618
foundations152
rda4039

and the following files:
nametitlesizehitsmdate
MathLogic-i.html1560162008-04-14
MathLogic-m.html5500142008-04-14
MathLogic.htmlMathematical Logic102972008-04-14
ar001-i.html1825132008-04-14
ar001-m.html876582008-04-14
ar001.htmlThe Automation of Reason109692008-04-14
engl001.htmEngineering Logic443211998-10-01
engl002.htmThe Next Logical Revolution3124131998-08-01
engl003.htmLogical Revolutions171691996-09-05
engl004.htmIndexFrame: Engineering Logic1125191998-10-01
engl005.htmMainFrame: Engineering Logic13358201998-08-26
index.htmFactasia Logic5431062002-10-04
inter002.htmReflexive Logical Systems1419101996-07-20
inter003.htmNew Classical Logical Systems4619101997-11-15
inter004.htmIndexFrame: Pure Functions1221171999-10-12
inter005.htmMainFrame: Pure Functions19729211999-10-12
inter006.htmWhy ProofPower?497491996-07-20
inter007.htmThe Theory zfc446112000-01-31
inter007i.htmIndexFrame: The Theory zfc1351132000-01-31
inter007m.htmMainFrame: The Theory zfc14775132000-01-31
inter008.htmThe Theory combin45892000-01-31
inter008i.htmIndexFrame: The Theory combin1233112000-01-31
inter008m.htmMainFrame: The Theory combin4238142000-01-31
inter009.htmThe Theory sum44672000-01-31
inter009i.htmIndexFrame: The Theory sum128882000-01-31
inter009m.htmMainFrame: The Theory sum8516132000-01-31
inter010.htmThe Theory char45092000-01-31
inter010i.htmIndexFrame: The Theory char124792000-01-31
inter010m.htmMainFrame: The Theory char317092000-01-31
inter011.htmThe Theory pf44282000-01-31
inter011i.htmIndexFrame: The Theory pf1028112000-01-31
inter011m.htmMainFrame: The Theory pf2867122000-01-31
inter012.htmZFC in HOL120691999-10-31
inter013.htmPure Functions514241999-10-12
inter014.htmProof Theoretic Strength4686162002-10-04
jrh0100.htmFormalized Mathematics2801251998-11-15
jrh0101.htmHistory and Philosophy8695171996-08-26
jrh0102.htmRigour and the axiomatic method9441161996-08-16
jrh0103.htmThe History of Formal Logic9792301996-08-16
jrh0104.htmHilbert's Programme11247271996-08-16
jrh0105.htmThe Bourbaki view9531181996-08-16
jrh0106.htmEnter the computer6175151996-08-16
jrh0107.htmAutomated Reasoning12792151996-08-16
jrh0108.htmFormalizing mathematics4750171996-08-16
jrh0109.htmFormalization6166221996-08-16
jrh0110.htmCriticism and reconstruction9792261996-08-16
jrh0111.htmThe choice of a foundational system17083191996-08-16
jrh0112.htmDefinitions and locutions10050201996-08-16
jrh0113.htmPartial functions and undefined terms10617141998-11-01
jrh0114.htmPractical issues1335131996-08-16
jrh0115.htmFeasibility739191996-08-16
jrh0116.htmExtensibility and LCF1478371997-12-08
jrh0117.htmMetatheory and reflection15059171997-12-08
jrh0118.htmHow much automation do we want?5654131998-08-14
jrh0119.htmUser interaction8826111996-08-16
jrh0120.htmExperience of formalized mathematics8929141996-08-16
jrh0121.htmThe Future3157101996-08-16
jrh0122.htmAcknowledgements2372121996-08-16
jrh0123.htmGlossary5259121998-10-15
jrh01b.htmBibliography on Formalised Mathematics44454251998-10-15
jrh01f.htmFormalised Mathematics - footnotes14649241998-08-07
log000.htmFactasia Logic Netlinks519121999-09-19
log001.htmWhat is Logic?4812511998-07-31
log002.htmEffective Procedures3232251998-06-12
log003.htmBoolean Propositional Logic3487801999-09-30
log004.htmAn Introduction to Propositional Logics551851998-06-23
log005.htmFormal Foundation Systems for Mathematics3804201999-10-02
log006.htmWhy Logic is Important2499531996-05-23
log007.htmApplications of Logic466421999-10-12
log008.htmMaths, Logic, Computing - Past Present and Future5482161998-09-27
log009.htmProof and Computation3911211998-08-23
log010.htmDeductive Support for Science and Engineering364091998-08-23
log011.htmHOST features3541182006-01-21
log012.htmHOST rationale2903131999-10-07
log013.htmHOST pedigree300391999-10-07
log014.htmThe Iterative Conception of Set674181997-12-31
log015.htmPerspectives on the Scope of Logic2996131998-08-23
log016.htmFactasia - Books on Logic397301999-10-08
log017.htmSemi-Formal Description of Propositional Logic6096262001-10-11
log018.cFormal Specification of Propositional Logic in C38461998-06-14
log018.htmFormal Specification of Propositional Logic in ML6974201998-11-27
log018.smlFormal specification of propositional logic in ML26831998-06-14
log019.htmFirst-Order Predicate Logic60281102008-03-25
log020.htmSemi-Formal Description of First Order Predicate Logic9139331998-11-27
log021.htmFormal Specification of First-Order Predicate Logic in ML12954371998-11-27
log021.sml syntax of predicate logic in ML 47791998-04-08
log022.htmMainFrame: Books on Logic16069342001-07-23
log023.htmIndexFrame: Books on Logic2414311999-10-08
log024.htmIndexFrame: Logic26623221999-10-11
log025.htmMainFrame: Factasia Logic296623382006-04-24
log026.htmThe Definition of V50091999-09-21
log027.htmIndexFrame: The Definition of V1263112002-09-22
log028.htmMainFrame: The Definition of V8735172003-03-15
log029.htmMainFrame: The Iterative Conception of Set6393192006-04-24
log030.htmIndexFrame: The Iterative Conception of Set1225182002-10-04
log031.htmHOST Implementation Features591131997-12-31
log032.htmIndexFrame: HOST Implementation Features1137131999-10-07
log033.htmMainFrame: HOST Implementation Features5666121999-10-07
log034.htmHOST - Higher Order Set Theory650201998-01-04
log035.htmIndexFrame: HOST - Higher Order Set Theory1072171999-10-07
log036.htmMainFrame: HOST - Higher Order Set Theory8264191999-10-07
log037.htmIndexFrame: What is Logic?12072351998-07-31
log038.htmMainFrame: What is Logic?208172531999-10-05
log039.htmIndexFrame: An Introduction to Propositional Logics1223811998-06-30
log040.htmMainFrame: An Introduction to Propositional Logics11454832007-04-23
log041.htmBoolean Propositional Connectives596131998-07-10
log042.htmIndexFrame: Boolean Propositional Connectives907131998-07-10
log043.htmMainFrame: Boolean Propositional Connectives4947131998-07-10
log044.htmLogical People5731101998-11-12
log045.htmIndexFrame: Factasia Logic Netlinks1311121998-11-27
log046.htmMainFrame: Factasia Logic Netlinks12113162004-12-23
log047.htmSemi-Formal Description of Frege's Begriffsschrift382791998-11-27
log048.htmBoolean Operators551322000-03-05
log049.htmIndexFrame: Boolean Operators1804261999-10-02
log050.htmMainFrame: Boolean Operators34388392001-02-24
log051.htmIndexFrame: Applications of Logic1351402000-03-05
log052.htmMainFrame: Applications of Logic15876431999-10-12
log053.htmVarieties of Logic642141999-10-05
log054.htmIndexFrame: Varieties of Logic1233151999-10-05
log055.htmMainFrame: Varieties of Logic8909131999-10-05
qedres00.htmthe QED Manifesto1721331998-08-13
qedres01.htmthe QED Manifesto - Why is QED important11946161996-03-31
qedres02.htmthe QED Manifesto - Some Objections19500181996-03-31
qedres03.htmthe QED Manifesto - Some Background11300181996-03-31
qedres04.htmQED Manifesto - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)2642121996-03-31
qedres05.htmQED Manifesto - The Root Logic10524191996-03-31
qedres06.htmQED Manifesto - What Is To Be Done?8154141996-03-31
qedres07.htmQED Manifesto - copyright and authorship194581996-03-31
qedres08.htmQED Manifesto - RBJ's Critique2957111998-08-13
qedres09.htmthe QED Manifesto - RBJ's critique525691996-03-31
qedres10.htmQED Manifesto - some objections and responses - RBJ's critique520171996-03-31
qedres11.htmQED Manifesto critique - Some Background, Being a Critique of Current Related Efforts329491996-03-31
qedres12.htmQED Manifesto critique - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR)1277101996-03-31
qedres13.htmQED Manifesto critique - The Root Logic115691996-03-31
qedres14.htmQED Manifesto critique - What Is To Be Done?2301111996-03-31
qedres15.htmQED Manifesto - copyright and authorship945121996-03-31
qedres16.htmthe QED Manifesto - what's new?1170121998-08-13
qedresab.htmthe QED Manifesto - RBJ edition156281998-08-13
rbj006.htmLogic is Important?3481181998-08-13


up home rbj 00-00-00