The Net Advance of Physics:
LOGIC

LOGIC:

• General:
  • Logic Lectures (Basic Logic Course at the University of Notre Dame) by Kurt Gödel [1939; edited by M. Adzic and K. Dosen, 2017/05] 275 pp.

  • An approach to basic set theory and logic by Jerzy Dydak [2013/05]
  • An introduction to mathematical logic by A. Freund [2023/10] Short textbook.

• Types: QUANTUM;

• Type: COMPUTATIONAL:
  • Computational Logic: Its Origins and Applications by Lawrence C. Paulson [2017/12]

• Aspects: AXIOMATIZATION: Shelah 2002/11;

• Aspects: EPSILON CALCULUS:
  • Lectures on the Epsilon Calculus by Richard Zach [2014/11]

• Aspects: HERBRAND'S THEOREM:
  • Herbrand's Fundamental Theorem - an encyclopedia article by Claus-Peter Wirth [2015/03]

• Re: ALGEBRAIC GEOMETRY:
  • Model Theory, Arithmetic and Algebraic Geometry by Joel Torres del Valle [2019/05]

• Re: ARITHMETIC:
  • Model Theory, Arithmetic and Algebraic Geometry by Joel Torres del Valle [2019/05]

• Re: OPERATOR ALGEBRA:
  • Logic and operator algebra by Iljas Farah [2014/04]

THE NET ADVANCE OF PHYSICS