This directory contains the following subdirectories:

and the following files:

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

---

00-00-00