aalok thakkar: symbolic logic and applications

monsoon 2024: cs-2260

Source: XKCD

Resources and Reading Materials:


Textbooks:
  1. John Kelly. The Essence of Logic. Prentice Hall, 1996.
  2. Benjamin C. Pierce, et. al. Programming Language Foundations. Software Foundations series, 2018.
Articles:
  1. Joseph Y. Halpern, et. al. On the Unusual Effectiveness of Logic in Computer Science. The Bulletin of Symbolic Logic, 2001.
  2. W. V. Quine. The Ways of Paradox, 1976.
Videos:
Further Reading:
  1. Leo Bachmair and Harald Ganzinger. Resolution Theorem Proving, in "Handbook of Automated Reasoning.", 2001.
  2. Martin Davis. The Universal Computer: The Road from Leibniz to Turing. W. W. Norton & Company, 2000.
  3. Herbert B. Enderton. A Mathematical Introduction to Logic 2nd Edition. Academic Press, 2001.
  4. Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, 1996.
  5. Torkel Franzen Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse. A K Peters, 2005.
  6. Volker Halbach The Logic Manual. Oxford University Press, 2010.
  7. Uwe Schöning and Jacobo Torán. The Satisfiability Problem. Lehmanns Media, 2013.