Biosystems · 1995 · 47 citations · 19 references
ComputingComputer ScienceFormal MethodsLogicModel CheckingModel TheoryPredicate LogicComputational Logic
19
Martin Gardner · Scientific American · 1970 · 1.6K citations
Winning Ways for Your Mathematical Plays.
R. J. Connelly, Elwyn R. Berlekamp, John H. Conway et al. · American Mathematical Monthly · 1986 · 1.5K citations
Wittgenstein on Rules and Private Language.
Brian Loar, Saul A. Kripke · Noûs · 1985 · 1.3K citations