dongfangshenwa196910的博客

[SLFM 022] Combinatory Logic. Vol.1 - Curry, Feys, Craig (NH 1958)(T).djvu

[SLFM 021] Axiomatic Set Theory - Paul Bernays (NH 1958)(T).pdf

[SLFM 020] Recursive Number Theory - R.L.Goodstein (NH 1957)(T).pdf

[SLFM 019] Ordinal Algebras - Alfred Tarski (NH 1956)(T).pdf

[SLFM 018] Complete Theories - Abraham Robinson (NH 1956)(L)(T).djvu

[SLFM 017] Intuitionism. An Introduction - A.Heyting (NH 1956)(T).pdf

[SLFM 016] Mathematical Interpretation of Formal Systems - Skolem

[SLFM 015] Solvable Cases of the Decision Problem - W.Ackermann (NH 1954)(T).pdf

[SLFM 011] Truth and Consequence in Mediaeval Logic - Ernest A. Moody

[SLFM 010] Sentences Undecidable in Formalized Arithmetic - A.Mostowski

[SLFM 007] Many-Valued Logics - J.B.Rosser, A.R.Turquette (NH 1952)(T).djvu

[SLFM 005] An Essay in Modal Logic - Georg H. von Wright (NH 1951)(T).pdf

[SLFM 004] On the Metamathematics of Algebra - Abraham Robinson

[SLFM 002] Ancient Formal Logic - I.M.Bochenski (NH 1951)(T).pdf

[SLFM 001] The Propositional Logic of Boethius - Karl Durr (NH 1951)(T).pdf

[SLFM 001] The Propositional Logic of Boethius - Karl Durr (NH 1951)(S).djvu

Kreisel－Elements of Mathematical Logic (Model Theory)