Mathematical Logic Save Abandoned

Raymond M. Smullyan (1919 – 2017) :

著述：

郝兆宽、杨睿之、杨跃	张再跃 张晓如	王浩（1921 — 1995）	冯琦	徐明	杨睿之
陆钟万	陆汝钤	张家龙	(译)张卜天	(译)郝兆宽/杨睿之	From Mathematics in Logic to Logic in Mathematics:Boole and Frege
From Frege to Godel: A Source Book in Mathematical Logic,1879-1931

课程：

学校	课程	授课
Oregon	Summer School
	The Science of Deep Specification
Penn	Programming Languages
复旦大学	Mathematical Logic	...杨睿之...
南京大学	Mathematical Logic	...秦逸...
北京大学	http://wangyanjing.com/teaching/	王彦晶
南京大学	https://sites.google.com/view/yuliang	喻良
臺灣大學	邏輯、語言與計算暑期研習營	穆信成
uwaterloo.ca	Logic and Computation Intertwined	https://cs.uwaterloo.ca/~plragde/flaneries/LACI/
Brown University	Programming and Programming Languages	Shriram Krishnamurthi
Collège de France, chair of software sciences, 2018-2019	The Curry-Howard correspondence Today	Xavier Leroy
CMU	Homotopy Type Theory	https://www.cs.cmu.edu/~rwh/courses/hott/
Stanford	CS103: Mathematical Foundations of Computing	2012
Washington	CSE431: Introduction to Theory of Computation
Washington	CSEP531: Computability and Complexity Theory	2009/2016
Washington	CSE531: Computational Complexity I
Washington	CSE532: Complexity Theory
Washington	CSE533: Advanced Topics in Complexity Theory

Homotopy Type Theory

Studies in Logic and the Foundations of Mathematics

Handbook of the History of Logic：https://www.johnwoods.ca/hhl

Greek, Indian and Arabic Logic, Volume 1	Mediaeval and Renaissance Logic, Volume 2	The Rise of Modern Logic: from Leibniz to Frege, Volume 3	British Logic in the Nineteenth Century, Volume 4	Logic from Russell to Church, Volume 5	Sets and Extensions in the Twentieth Century, Volume 6
Logic and the Modalities in the Twentieth Century, Volume 7	The Many Valued and Nonmonotonic Turn in Logic, Volume 8	Computational Logic, Volume 9	Inductive Logic, Volume 10	Logic: A History of its Central Concepts, Volume 11

Books：

An Open-Source, Collaborative Logic Text & PDFs：

Software Foundations & Chinese『软件基础』:

Logical Foundations	Programming Language Foundations	Verified Functional Algorithms	QuickChick: Property-Based Testing in Coq	Verifiable C	Separation Logic Foundations
《逻辑基础》	《编程语言基础》	《函数式算法验证》	《QuickChick：用 Coq 进行基于性质的测试》

Programming Language Foundations in Agda	编程语言基础:Agda语言描述
	https://agda-zh.github.io/PLFA-zh/

[Introduction to Univalent Foundations of Mathematics with Agda](https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html)

博文：

Computational Complexity —— Computational Complexity and other fun stuff in math and computer science from Lance Fortnow and Bill Gaserch

赛义甫：组合子逻辑、λ演算的历史背景和产生动机

逻辑 (豆瓣小站)

现代形式语法理论 (豆瓣小站)

编程语言的基石——Lambda calculus

Combinators and the Story of Computation

Logic Matters :

• Peter Smith's Logic Matters blog
• An Introduction to Formal Logic
• Godel's Theorems
• Categories
• Teach Yourself Logic ⭐
• Notes and Papers
• Logical snippets/advice for students
• LaTeX for Logicians

Xixi Logic Seminars is run by the logic group at Zhejiang University.

A Complete Guide to LLVM for Programming Language Creators

The Road to Modern Logic - an interpretation | Jose Ferreiros

Mathematical Logic in Computer Science by Assaf Kfoury

On the Unusual Effectiveness of Logic in Computer Science

The Bulletin of Symbolic Logic

History:

The 1966 International Congress of Mathematicials: a micro-memoir

Highlights of the History of the Lambda-Calculus - J. B. Rosser

The Logic of Curry and Church - J.P. Seldin

contributions of The Logicians. Part I. From Richard Whately to William Stanley Jevons - Stanley N Burris

contributions of The Logicians. Part II. From Richard Dedekind to Gerhard Gentzen - Stanley N Burris

‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945 & 汉学家眼中的“清华逻辑学派”

René Descartes	1596~1650
Gottfried Leibniz	1646~1716
George Boole	1815~1864
Charles Sanders Peirce	1839~1914
Georg Cantor	1845~1918
Gottlob Frege	1848~1925
Giuseppe Peano	1858~1932
David Hilbert	1862~1943
Bertrand Russell	1872~1970
C. I. Lewis	1883~1964
Moses Schönfinkel	1888~1942
Paul Rudolf Carnap	1891~1970
Emil Post	1897~1954
Haskell Curry	1900~1982	Essays on Combinatory Logic, Lambda Calculus and Formalism
Alfred Tarski	1901~1983
Alonzo Church	1903~1995
Rózsa Péter	1905 - 1977
Kurt Godel	1906~1978
J. Barkley Rosser	1907~1989
Jacques Herbrand	1908~1931
Stephen Kleene	1909~1994
Gerhard Gentzen	1909~1945
Saunders Mac Lane	1909~2005
Alan Turing	1912~1954
Raymond Merrill Smullyan	1919~2017
Hao Wang 王浩	1921~1995
William Alvin Howard	born 1926
Martin Davis	born 1928
Heinrich Kleisli	1930~2011
Dana Scott	born 1932
Robin Milner	1934~2010
John C. Reynolds CMU Page	1935~2013
J. Roger Hindley	born 1939
Stephen Cook Toronto Page	born 1939
Per Martin-Löf	born 1942
Jean-Yves Girard	born 1947