9.1		Set theory and logic (also see 0.9)

If...Some Suggestions on Presenting the Connector "if...then", Aaron Seligman, 1:2, 1970, 22-26, 0.9
Factoring Functions, J. C. Bodenrader, 2:1, 1971, 23-26, 0.6, 5.1.2, 3.2
Some Applications of the Law of the Contrapositive, Morton J. Hellman, 4:3, 1973, 86-88, C, 0.9
The Equivalence of the Well-Ordering Principle and Dirichlet's Box Principle, Aron Pinker, 5:1, 1974, 76-77, C
Who Dunnit?, Lawrence G. Gilligan and Robert B. Nenno, 5:1, 1974, 78-79, C
Godel's Theorem (Part I), Richard Wiebe, 6:2, 1975, 13-17
Godel's Theorem (Part II), Richard Wiebe, 6:3, 1975, 4-7
Mathematics—Is It Any of Your Business?, Ralph Mansfield, 6:3, 1975, 20-26, 3.1, 1.2
Solving Whodunits by Symbolic Logic, Lawrence Sher, 6:4, 1975, 36-38
On the Definition of Implication: Classroom Discussion and Justification, Ray F. Snipes, 8:4, 1977, 247-252, C
Types of Relations, Kenneth Slonneger, 8:5, 1977, 267-269
Boolean Algebra as a Proof Paradigm, Lawrence Sher, 9:3, 1978, 186-190
Analogies and Metaphors to Explain Godel's Theorem, Douglas R. Hofstadter, 13:2, 1982, 98-114
A Machine as Smart as God, Rudy Rucker, 13:2, 1982, 115-121, 2.2
The Asylum of Doctor Tarr and Professor Fether, Raymond Smullyan, 13:2, 1982, 142-146
Probabilistic Dependence Between Events, Ruma Falk and Maya Bar-Hillel, 14:3, 1983, 240-247, 7.2
A Computational Approach to Logical Statements, J. N. Boyd and P. N. Raychowdhury, 14:4, 1983, 326-341
Is the Venn Diagram Good Enough?, Mou-Liang Kung and George C. Harrison, 15:1, 1984, 48-50, 0.2
The Construction of Venn Diagrams, Branko Grunbaum, 15:3, 1984, 238-247
An Odd Induction Proof, Karl David, 15:3, 1984, 251, C
How to Live to be 100, Robert Geist, 15:4, 1984, 256-263
On Venn Diagrams and the Counting of Regions, Branko Grunbaum, 15:5, 1984, 433-435, C
Satan, Cantor, and Infinity, Raymond M. Smullyan, 16:2, 1985, 118-121
FFF #9. The Countability of the Reals, Ed Barbeau, 20:5, 1989, 403, F, 9.5 (also 21:1, 1990, 36 and 22:5, 1991, 405)
FFF # 10. The Uncountability of the Plane, Ed Barbeau, 20:5, 1989, 403-404, F, 9.5 (also 21:1, 1990, 36)
FFF #36. A Logical "Paradox", Ed Barbeau, 22:2, 1991, 132, F (also 23:3, 1992, 205)
FFF #40. Perron's Paradox, Ed Barbeau, 22:3, 1991, 221, F, 0.2 (also 23:3, 1992, 205 and 24:3, 1993, 231)
Programs for a Logic Course, Richard F. Maruszewski, Jr., 22:3, 1991, 235-240
FFF. Red Hats, Ed Barbeau, 22:4, 1991, 307, F
FFF. Equal Unions, Ed Barbeau, 23:4, 1992, 304-305, F
The Linear Transformation Associated with a Graph: Student Research Project, Irl C. Bivens, 24:1, 1993, 76-78, 3.1, 4.3
Using PROLOG in Discrete Mathematics, Antonio M. Lopez, Jr., 24:4, 1993, 357-365, 3.1, 3.4
FFF #93. An Invalid Argument, Annie Selden and John Selden, 27:1, 1996, 43-44, F
FFF #98. Doggedly Bisexual, Ed Catherall, 27:2, 1996, 116, F
A New Theorem on Cardinality, Charles J. Kicey, 30:1, 1999, 66, C
FFF.  There are no contradictions, Theodore G. Ammon, 31:1, 2000, 48-49, F
A Game-Like Activity for Learnng Cantor’s Theorem, Shay Gueron, 32:2, 2001, 122-125, C
Comment on There are no contradictions, Calvin Jongma, 32:3, 2001, 199-200, F
Comparing Sets of the Empty Set, Allen J. Schwenk, 33:3, 2002, 232-233, C, 9.5
Sets of Sets: A Cognitive Obstacle, Lawrence Brenton, 34:1, 2003, 31-38, 9.4
What Did Lincoln Really Mean?, Paul K. Stockmeyer, 35:2, 2004, 103-104
An Elementary Resolution of the Liar Paradox, James S. Walker, 35:2, 2004, 105-111
Mind Your ∀’s and ∃’s, Stephen M. Walk, 35:5, 2004, 362-369, 4.3
Mathematics in War and Peace, Arthur Neuman, 39:3, 2008, 202, C
Dinner Tables and Concentric Circles: A Harmony of Mathematics, Music, and Physics, Jack Douthett and Richard J. Krantz, 39:3, 2008, 203-211, 3.2, 9.10
Dependent Probability Spaces, William F. Edwards, Ray C. Shiflett, and Harris S. Shultz, 39:3, 2008, 221-226, 7.2