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
LOGIC: