Metalogic by Jan Wolenski

Metalogic

Metalogic by Jan Wolenski
Publisher: ESSLLI 2002
Number of pages: 35
The course is intended to provide the basic information about the metatheory of formal system. It will start with a brief information about propositional calculus and first-order logic. Then, fundamental theorems about elementary logic will be stated and proved.
Mathematics Pure Mathematics Logic Model Theory



More Free E-Books For Logic


Similar Books For Logic

1. Hack, Hack, Who's There? A Gentle Introduction to Model Theory by David Reid
2. Modal Logic of Strict Necessity and Possibility by Evgeni Latinov
3. Sets, Groups and Knots by Curtis T. McMullen
4. Descriptive Set Theory by David Marker
5. Handbook of Modal Logic by Patrick Blackburn, Johan van Benthem, Frank Wolter
6. Axiomatic Set Theory by Michael Meyling
7. Axiomatic Set Theory I by A. C. Walczak-Typke
8. Coalgebras and Modal Logic by Alexander Kurz
9. Basic Concepts in Modal Logic by Edward N. Zalta
10. Introduction to Proof Theory by Gilles Dowek
11. Algebraic Tools for Modal Logic by Mai Gehrke, Yde Venema
12. Metalogic by Jan Wolenski
13. Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
14. Notes on Set Theory by Michael Makkai
15. Proof, Sets, and Logic by M. Randall Holmes
16. Elementary Set Theory with a Universal Set by Randall Holmes
17. Set Theory by Gary Hardegree
18. Abstract Set Theory by Thoralf A. Skolem
19. Introduction to Modal Logic by Gary Hardegree
20. Model-Theoretic Logics by J. Barwise, S. Feferman
21. An Introduction to Good Old Fashioned Model Theory by Harold Simmons
22. Proof Theory and Philosophy by Greg Restall
23. Model Theory by C. Ward Henson
24. The Continuum and Other Types of Serial Order by Edward V. Huntington
25. Logic and Proof by Lawrence C Paulson
26. Proofs and Types by J. Girard, Y. Lafont, P. Taylor
27. Descriptive Set Theory by Yiannis N. Moschovakis
28. An Introduction to Set Theory by William A. R. Weiss
29. Fundamentals of Model Theory by William Weiss, Cherie D'Mello
30. Mathematics of Modality by Robert Goldblatt
31. Logic for Computer Science by Jean H. Gallier
32. Language, Proof and Logic by Jon Barwise, John Etchemendy
33. Model Theory, Algebra and Geometry by D. Haskell, A. Pillay, C. Steinhorn
34. Sets, Relations, Functions by Ivo Düntsch, Günther Gediga



Categories