Search results

  • Studies, Princeton University Press (April 1, 1961) 156 pages ISBN 0-691-08047-X Stephen Cole Kleene, 1967. Mathematical Logic Reprinted by Dover, 2002...
    14 KB (1,534 words) - 21:31, 10 May 2024
  • Thumbnail for Raymond Smullyan
    between a mortal human and God. (1961) Theory of Formal Systems ISBN 069108047X (1968) First-Order Logic ISBN 0486683702 (1977) The Tao is Silent ISBN 0060674695...
    23 KB (2,797 words) - 06:22, 30 April 2024