This directory contains the following subdirectories:

and the following files:

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

---

00-00-00