This directory contains the following subdirectories:

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