Contents of RBJones.com directory: rbjpub/logic

Hit figures shown are for one calendar month.

This directory contains the following subdirectories:

directory	hits
cl	1121
foundations	242
rda40	96

and the following files:

name title size hits mdate

MathLogic-i.html 1597 15 2016-01-18

MathLogic-m.html Mathematical Logic 5641 14 2016-01-18

MathLogic.html Mathematical Logic 1029 14 2016-01-18

ar001-i.html 1862 24 2016-01-18

ar001-m.html The Automation of Reason 9318 25 2016-01-18

ar001.html The Automation of Reason 1096 24 2016-01-18

engl001.htm Engineering Logic 443 62 2016-01-18

engl002.htm The Next Logical Revolution 3124 18 2016-01-18

engl003.htm Logical Revolutions 1716 16 2016-01-18

engl004.htm IndexFrame: Engineering Logic 1125 53 2016-01-18

engl005.htm MainFrame: Engineering Logic 13358 71 2016-01-18

index.htm Logic at RBJones.com 617 117 2016-01-18

inter002.htm Reflexive Logical Systems 1419 22 2016-01-18

inter003.htm New Classical Logical Systems 4619 20 2016-01-18

inter004.htm IndexFrame: Pure Functions 1221 23 2016-01-18

inter005.htm MainFrame: Pure Functions 19729 24 2016-01-18

inter006.htm Why ProofPower? 4974 21 2016-01-18

inter007.htm The Theory zfc 446 23 2016-01-18

inter007i.htm IndexFrame: The Theory zfc 1351 32 2016-01-18

inter007m.htm MainFrame: The Theory zfc 14775 23 2016-01-18

inter008.htm The Theory combin 458 17 2016-01-18

inter008i.htm IndexFrame: The Theory combin 1233 20 2016-01-18

inter008m.htm MainFrame: The Theory combin 4238 22 2016-01-18

inter009.htm The Theory sum 446 17 2016-01-18

inter009i.htm IndexFrame: The Theory sum 1288 21 2016-01-18

inter009m.htm MainFrame: The Theory sum 8516 21 2016-01-18

inter010.htm The Theory char 450 24 2016-01-18

inter010i.htm IndexFrame: The Theory char 1247 24 2016-01-18

inter010m.htm MainFrame: The Theory char 3170 25 2016-01-18

inter011.htm The Theory pf 442 15 2016-01-18

inter011i.htm IndexFrame: The Theory pf 1028 19 2016-01-18

inter011m.htm MainFrame: The Theory pf 2867 23 2016-01-18

inter012.htm ZFC in HOL 1206 22 2016-01-18

inter013.htm Pure Functions 514 25 2016-01-18

inter014-i.htm 2830 21 2016-01-18

inter014-m.htm Notes on Proof Theoretic Strength 29436 26 2016-01-18

inter014.htm Notes on Proof Theoretic Strength 1116 32 2016-01-18

jrh0100.htm Formalized Mathematics 2801 50 2016-01-18

jrh0101.htm History and Philosophy 8695 17 2016-01-18

jrh0102.htm Rigour and the axiomatic method 9441 24 2016-01-18

jrh0103.htm The History of Formal Logic 9792 48 2016-01-18

jrh0104.htm Hilbert's Programme 11247 29 2016-01-18

jrh0105.htm The Bourbaki view 9531 42 2016-01-18

jrh0106.htm Enter the computer 6175 20 2016-01-18

jrh0107.htm Automated Reasoning 12792 24 2016-01-18

jrh0108.htm Formalizing mathematics 4750 22 2016-01-18

jrh0109.htm Formalization 6166 26 2016-01-18

jrh0110.htm Criticism and reconstruction 9792 33 2016-01-18

jrh0111.htm The choice of a foundational system 17083 32 2016-01-18

jrh0112.htm Definitions and locutions 10050 19 2016-01-18

jrh0113.htm Partial functions and undefined terms 10617 22 2016-01-18

jrh0114.htm Practical issues 1335 22 2016-01-18

jrh0115.htm Feasibility 7391 25 2016-01-18

jrh0116.htm Extensibility and LCF 14783 19 2016-01-18

jrh0117.htm Metatheory and reflection 15059 23 2016-01-18

jrh0118.htm How much automation do we want? 5654 19 2016-01-18

jrh0119.htm User interaction 8826 20 2016-01-18

jrh0120.htm Experience of formalized mathematics 8929 26 2016-01-18

jrh0121.htm The Future 3157 24 2016-01-18

jrh0122.htm Acknowledgements 2372 21 2016-01-18

jrh0123.htm Glossary 5259 22 2016-01-18

jrh01b.htm Bibliography on Formalised Mathematics 44454 36 2016-01-18

jrh01f.htm Formalised Mathematics - footnotes 14649 24 2016-01-18

log000.htm Factasia Logic Netlinks 519 33 2016-01-18

log001.htm What is Logic? 481 156 2016-01-18

log002.htm Effective Procedures 3232 35 2016-01-18

log003.htm Boolean Propositional Logic 3487 49 2016-01-18

log004.htm An Introduction to Propositional Logics 551 35 2016-01-18

log005.htm Formal Foundation Systems for Mathematics 3804 45 2016-01-18

log006.htm Why Logic is Important 2499 73 2016-01-18

log007.htm Applications of Logic 466 111 2016-01-18

log008.htm Maths, Logic, Computing - Past Present and Future 5482 17 2016-01-18

log009.htm Proof and Computation 3911 27 2016-01-18

log010.htm Deductive Support for Science and Engineering 3640 17 2016-01-18

log011.htm HOST features 3541 23 2016-01-18

log012.htm HOST rationale 2903 19 2016-01-18

log013.htm HOST pedigree 3003 26 2016-01-18

log014.htm The Iterative Conception of Set 674 34 2016-01-18

log015.htm Perspectives on the Scope of Logic 2996 24 2016-01-18

log016.htm Factasia - Books on Logic 397 36 2016-01-18

log017.htm Semi-Formal Description of Propositional Logic 6096 19 2016-01-18

log018.c Formal Specification of Propositional Logic in C 3846 2016-01-18

log018.htm Formal Specification of Propositional Logic in ML 6974 34 2016-01-18

log018.sml Formal specification of propositional logic in ML 2683 2016-01-18

log019.htm First-Order Predicate Logic 6028 87 2016-01-18

log020.htm Semi-Formal Description of First Order Predicate Logic 9139 45 2016-01-18

log021.htm Formal Specification of First-Order Predicate Logic in ML 12954 37 2016-01-18

log021.sml syntax of predicate logic in ML 4779 2016-01-18

log022.htm MainFrame: Books on Logic 16069 40 2016-01-18

log023.htm IndexFrame: Books on Logic 2414 36 2016-01-18

log024.htm IndexFrame: Logic 2512 138 2016-01-18

log025.htm MainFrame: Logic at RBJones.com 29508 165 2016-01-18

log026.htm The Definition of V 500 20 2016-01-18

log027.htm IndexFrame: The Definition of V 1263 23 2016-01-18

log028.htm MainFrame: The Definition of V 8735 30 2016-01-18

log029.htm MainFrame: The Iterative Conception of Set 6393 35 2016-01-18

log030.htm IndexFrame: The Iterative Conception of Set 1225 27 2016-01-18

log031.htm HOST Implementation Features 591 26 2016-01-18

log032.htm IndexFrame: HOST Implementation Features 1137 18 2016-01-18

log033.htm MainFrame: HOST Implementation Features 5665 21 2016-01-18

log034.htm HOST - Higher Order Set Theory 650 26 2016-01-18

log035.htm IndexFrame: HOST - Higher Order Set Theory 1072 17 2016-01-18

log036.htm MainFrame: HOST - Higher Order Set Theory 8264 22 2016-01-18

log037.htm IndexFrame: What is Logic? 1207 126 2016-01-18

log038.htm MainFrame: What is Logic? 21270 132 2016-01-18

log039.htm IndexFrame: An Introduction to Propositional Logics 1223 29 2016-01-18

log040.htm MainFrame: An Introduction to Propositional Logics 11618 30 2016-01-18

log041.htm Boolean Propositional Connectives 596 16 2016-01-18

log042.htm IndexFrame: Boolean Propositional Connectives 907 26 2016-01-18

log043.htm MainFrame: Boolean Propositional Connectives 4947 22 2016-01-18

log044.htm Logical People 5731 19 2016-01-18

log045.htm IndexFrame: Factasia Logic Netlinks 1311 32 2016-01-18

log046.htm MainFrame: Factasia Logic Netlinks 12113 27 2016-01-18

log047.htm Semi-Formal Description of Frege's Begriffsschrift 3827 19 2016-01-18

log048.htm Boolean Operators 551 48 2016-01-18

log049.htm IndexFrame: Boolean Operators 1804 32 2016-01-18

log050.htm MainFrame: Boolean Operators 34388 43 2016-01-18

log051.htm IndexFrame: Applications of Logic 1351 94 2016-01-18

log052.htm MainFrame: Applications of Logic 15876 101 2016-01-18

log053.htm Varieties of Logic 642 28 2016-01-18

log054.htm IndexFrame: Varieties of Logic 1233 33 2016-01-18

log055.htm MainFrame: Varieties of Logic 8909 34 2016-01-18

qedres00.htm the QED Manifesto 1721 53 2016-01-18

qedres01.htm the QED Manifesto - Why is QED important 11946 34 2016-01-18

qedres02.htm the QED Manifesto - Some Objections 19500 34 2016-01-18

qedres03.htm the QED Manifesto - Some Background 11300 21 2016-01-18

qedres04.htm QED Manifesto - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR) 2642 39 2016-01-18

qedres05.htm QED Manifesto - The Root Logic 10524 21 2016-01-18

qedres06.htm QED Manifesto - What Is To Be Done? 8154 27 2016-01-18

qedres07.htm QED Manifesto - copyright and authorship 1945 22 2016-01-18

qedres08.htm QED Manifesto - RBJ's Critique 2957 20 2016-01-18

qedres09.htm the QED Manifesto - RBJ's critique 5256 22 2016-01-18

qedres10.htm QED Manifesto - some objections and responses - RBJ's critique 5201 21 2016-01-18

qedres11.htm QED Manifesto critique - Some Background, Being a Critique of Current Related Efforts 3294 22 2016-01-18

qedres12.htm QED Manifesto critique - The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR) 1277 19 2016-01-18

qedres13.htm QED Manifesto critique - The Root Logic 1156 22 2016-01-18

qedres14.htm QED Manifesto critique - What Is To Be Done? 2301 20 2016-01-18

qedres15.htm QED Manifesto - copyright and authorship 945 21 2016-01-18

qedres16.htm the QED Manifesto - what's new? 1170 22 2016-01-18

qedresab.htm the QED Manifesto - RBJ edition 1562 19 2016-01-18

rbj006.htm Logic is Important? 3481 17 2016-01-18

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

00-00-00