Logikböcker på nätet
Titta gärna på Henri Galinons sida med länkar till en mängd (gratis)böcker.
Här finns några logikböcker som publicerats för fri tillgång på nätet.
- Aczel: Non-well-founded sets [ pdf ]
- Barr and Wells: Toposes Triples and Theories [ pdf ]
- Barwise: The Situation in logic [ pdf ]
- Barwise and Moss: Vicious Circles [ pdf ]
- Bilaniuk: A problem course in Mathematical Logic [ pdf ]
- Gallier: Logic For Computer Science [ pdf ]
- Goldblatt: Logics of time and computation [ pdf ]
- Haskell and Pillay and Steinhorn: Model Theory Algebra and Geometry [ pdf ]
- Holmes: Elementary Set Theory with a Universal Set [ pdf ]
- Keisler: Elementary calculus [ pdf ]
- Magnus: Forall x [ pdf ]
- Sanin: Constructive real numbers [ pdf ]
- Seligman and Westerstahl: Logic Language and Computation [ pdf ]
- Simpson: Mathematical Logic [ pdf ]
- Simpson: Model Theory [ pdf ]
- Troelstra: Lectures on Linear Logic [ pdf ]
- Ungar: Normalization Cut Elimination and the Theory of proofs [ pdf ]
- Weiss and DMello: Fundamentals of Model Theory [ ps ]
- van Benthem: A manual of Intensional logic [ pdf ]
- van der Does and van Eijck: Quantifiers Logic and Language [ pdf ]
- 12 – Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996; J. M. Larrazabal, D. Lascar, G. Mints, eds. (1998)
- 11 – Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995; Johann A. Makowsky, Elena V. Ravve, eds. (1998)
- 10 – Aspects of Incompleteness; Per Lindström (1997)
- 9 – Bounded Variable Logics and Counting: A Study in Finite Models; Martin Otto (1997)
- 8 – The Core Model Iterability Problem; John R. Steel (1996)
- 7 – A General Algebraic Semantics for Sentential Logics, 2nd ed.; Josep Maria Font, Ramon Jansana (2009)
- 6 – Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings; Petr Hájek, ed. (1996)
- 5 – Model Theory of Fields; D. Marker, M. Messmer, A. Pillay (1996)
- 4 – Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way; Arnold W. Miller (1995)
- 3 – Fine Structure and Iteration Trees; William J. Mitchell, John R. Steel (1994)
- 2 – Logic Colloquium '90: ASL Summer Meeting in Helsinki; J. Oikkonen, J. Väänänen, eds. (1993)
- 1 – Recursion Theory; J. R. Shoenfield (1993)
- 12 – Fundamentals of Stability Theory; John T. Baldwin (1988)
- 11 – Degrees of Unsolvability: Local and Global Theory; Manuel Lerman (1983)
- 10 – General Recursion Theory: An Axiomatic Approach; Jens E. Fenstad (1980)
- 9 – Recursion-Theoretic Hierarchies; Peter G. Hinman (1978)
- 8 – Model-Theoretic Logics; J. Barwise, S. Feferman, eds. (1985)
- 7 – Admissible Sets and Structures: An Approach to Definability Theory; Jon Barwise (1975)
- 6 – Constructibility; Keith J. Devlin (1984)
- 5 – Proper and Improper Forcing; Saharon Shelah (1998)
- 4 – Essential Stability Theory; Steven Buechler (1996)
- 3 – Metamathematics of First-Order Arithmetic; Petr Hájek, Pavel Pudlák (1998)
- 2 – Higher Recursion Theory; Gerald E. Sacks (1990)
- 1 – Computability in Analysis and Physics; Marian B. Pour-El, J. Ian Richards (1989)
Senast uppdaterad 20 aug 2009.