Jun 15
  1. Foundations:Mathematical Logic And Set Theory


… when we are set to work and we take ???? to be our foundational theory, then we fix one universe of set theory that we work in. … When you are done working with this universe you throw it in the bin, and get another when you need to. Or you can save that universe in a scrapbook if you like. - Asaf Karagila

  1. SET THEORY: CARDINAL AND ORDINAL NUMBERS Klaus Kiaser University of Houston s
  2. Cardinal and Ordinal Numbers Klaus Kaiser University of Houston April 9, 2007  
  3. Set Theory:The Natural Numbers Peter J. Kahn Cornell University Spring 2009
  4. A Problem Course in Mathematical Logic Version 1.6 Stefan Bilaniuk  Trent University 2011
  5. Mathematical Logic Vladimir Lifschitz University of Texas January 16, 2009
  6. Mathematical Logic  Lou van den Dries University of Wisconsin Urbana Champaign Fall  Semester 2007
  7. Mathematical Logic I Kevin C Clement University of Massachucetts Fall 2011
  8. Mathematical Logic II Kevin C Clement University of Massachucetts Fall 2011 
  9.  Mathematical Logic II Kevin C. Clement University of Massachuecetts Almherst 2012
  10.  Mathematical Logic I Simon Thomas Rutgers University  Spring 2013
  11. An Introduction To Mathematical Logic Michal Walicki University of Bergen
  12. Algebraic Methods F. Oggier Nanyang Technological University November 11, 2011
  13. Mathematical Logic Arnold W. Miller University of Wisconsin Fall 1995 
  14. Mathematical Logic Stephen G. SimpsonThe Pennsylvania State University February 7, 2011 
  15. Mathematical Logic Helmut Schwichtenberg Mathematisches Institut der Universität  München
  16. Logic Jonathan Pila  Mathematical Institute  University of Oxford
  17. Logic and Computation Lecture notes Jeremy Avigad Carnegie Mellon University The syntax and semantics of first-order logic, completeness,compactness, and other topics.
  18. Ordered Sets Tero Harju University of Turku Finland 2006 (2012)
  19. Set Theory: Notes on Forcing Judith Roitman Kansas University May 13, 2010
  20. SET THEORY  William A. R. Weiss University of Toronto October 2, 2008
  21. Model Theory and its Applications Pete L.Clark University of Georgia 
  22. 2010  SUMMER COURSE ON MODEL THEORY PETE L. CLARK University of Georgia
  23.  Logic For Computer Science :Foundations of Automatic Theorem Proving  Jean Gallier University of Pennsylvania June 2003
  24. Ordered Sets Mariusz Wodzicki University of California at Berkeley March 13 , 2013
  25. Elementary Set Theory With a Universal Set 2nd edition by Randall Holmes 
  26. Model Theory Cameron Freer MIT Spring 2009
  27. Axiomatic Set Theory Boris Zilber Oxford University January 14, 2013
  28. Set Theory Jonathan Pila Oxford University Spring 2013    
  29. Model Theory and Set Theory  Rahim Moosa University of Waterloo Fall 2012
  30.  Sets and Cardinality C. F. Miller University of Melbourne Semester 1, 2000
  31. Axiomatic  Set Theory I by A. C. Walczak-Typke University of Helsinki April 27, 2009
  32. Fundamentals Of Model Theory William Wiess and Cherie D' Mello University of
  33. Complexity Theory I Oded Goldreich  Weizmann Institute of Science, Israel
  34. Foundations of Mathematics Stephen G. Simpson The Pennsylvania State University October 1, 2009
  35. Foundations of Mathematics I Set Theory Ali Nesin Istanbul Bilgi University Kustepe Sisli Istanbul Turkey 
  36. Predicate Logic Jeff Paris University of Manchester 2013
  37. Model Theory  Anand Pillay  University of Waterloo December 9, 2002
  38.  Computability Theory and Applications: The Art of Classical Computability Robert Irving Soare  The University of Chicago VOLUME I draft December 22, 2011
  39. Logic and Verification Clark W. Barrett NYU
  40. Logic In Computer Science Fall 2009 Clark Barrett NYU
  41. Set Theory Sam Buss USCD Fall 2012 – Winter 2013  
  42. Introduction to Symbolic Logic Gary Hardatree University of Massachucetts Amherst Fall 2013  
  43. Introduction to Logic Kevin C. Klement University of Massachucetts Amherst Spring 2013
  1. Computation Theory and Formal Languages Jean Gallier and Andy Hicks University of Pennsylvania Jean Gallier is a completely fascinating and awe-striking person in current academia I'd love to meet someday. He was born of French parentage got his BA in France at the age of 17, a civil engineering degree 6 years later and then completing his Ph.D in applied mathematics/computer science at UCLA 6 years after that.Currently a professor in both the Computer Science and Mathematics departments of the University of Pennsylvania, he's known mostly for his work in theoretical computer science and several important breakthroughs in the burgeoning science of computer graphics. Many of these breakthroughs have come as a result of Gallier's deep understanding of basic mathematics and its applications,such as algebra and graph theory. Recently, in order to strengthen his background in theoretical mathematics-which he has found so useful in both his basic research and that of his students-he spent several years faithfully attending many of the graduate courses in mathematics at the University of Pennsylvania,taking very detailed notes and doing all the exercises in each class. The result has been an extraordinary set of lecture notes and book drafts on advanced mathematics for computer scientists and other applied mathematicans-notes that are incredibly detailed and wonderfully intuitive without sacrificing rigor. Several of these lecture series have been published as expensive Springer-Verlag textbooks,much to the chagrin of most of us who first discovered them at his site for free. Gallier's identified several of the longer lecture notes as "book drafts"-which means I strongly advise students to download as many as you can before he sends them off for publication. Dr.Gallier has made it very clear at his site that while actually posting these documents anywhere else on the web constitutes copyright infringement, downloading them for personal use and posting links to them at his webpage are fine. That's what I'm doing,hopefully increasing the knowledge of these terrific presentations-and eventually making Dr. Gallier a fortune in the process when they're published. (You owe me a favor,pal........LOL) First up are the lectures from Gallier's course on computation and programming language theory. Like most such courses, he develops the discrete mathematics-such as basic logic and set theory-needed to understand the foundations of formal language construction and syntax. Unlike most such courses, he develops far more mathematics then usual-such as automata theory and directed graphs and includes many real world examples where this theory is used, such as DNA computing. These terrific notes will be a treasure for both serious computer science students and mathematics students (who really should,myself included,be much more familiar with the actual theory of computation then most of us actually are.)
  3. Topics in Logic and Foundations Stephen G. Simpson  Pennsylvania State University  
  4.  Computability, Unsolvability, Randomness Stephen G. Simpson  Pennsylvania State University February 5, 2009
  5. Degrees of Unsolvability Stephen G. Simpson Pennsylvania State University 
  6. Propositional Logic Mike Prest University of Manchester April 16, 2013
  7. Model Theory and Modules Mike Prest University of Manchester May 22, 2006
  8. Descriptive Set Theory David Marker University of Illinois Chicago
  9.  Model Theory Boris Zibler Mathematical Institute University of Oxford 2013
  10. Set theory Peter J. Kahn Cornell University  Spring 2009
  11. SET THEORY  Wiliam Weiss University of Toronto
  12. SET THEORY Rienhard Shiultz University of Illinois Chicago/UNIVERSITY OF CALIFORNIA RIVERSIDE FALL 2012 
  13. Set Theory Ted Slider Cornell University 2010
  14. Set Theory Gregory Wheeler Carnegie Mellon University
  15. Modern Set Theory 2nd Edition Judith Roitman University of Kansas December 6, 2011
  17. BOOLEAN FUNCTIONS TOM SANDERS University of Cambridge
  18. A Modern Formal Logic Primer 2 volumes by Paul Teller UC Davis
  19. Fundamentals of Model Theory William Weiss and Cherie D’Mello Department of
    Mathematics University of Toronto
  20. Computability and Incompleteness Jeremy Avigad Carnigie Mellon University Version: January 9, 2007
  21. Gödel's Incompleteness Theorems Mathematical Institute - University of Oxford
  22. Good old fashioned model theory Harold Simmons University of Manchester
  23. Logic and Proof Lawrence C Paulson Computer Laboratory University of Cambridge
  24.  Proof, Sets, and Logic M. Randall Holmes Boise State University November 30, 2012
  25. Recursion Theory Lou van den Dries University of Wisconsin Urbana-Champlaign Fall 2011
  26. Incompleteness via the halting problem Jeremy Avigad Carnagie Mellon University
    February 21, 2005
  27. Classical and constructive logic Jeremy Avigad Carnegie Mellon University
    September 19, 2000
  28. Set Theory Gary Hardegree University of Massachucetts   
  29. Proof Theory:An Introduction Samuel R. Buss  University of California San Diego
  30. Michal Walicki's Introduction to logic 2011 draft version
  31. Unraveling the Mysteries of Infinity Jimmie Lawson Louisiana State University
  32. Introduction to Mathematical Logic J. Adler, J. Schmid May 2, 2007
  33. Model Theory, Universal Algebra and Order J. Adler, J. Schmid, M. Sprenger
    January 18, 2006
  34. First order logic and Computability B. Csima transcribed by: J. Lazovskis University of Waterloo April 9, 2012
  35. AN INVITATION TO MATHEMATICAL LOGIC Thomas Wieting Reed College,
  36. Foundations of Mathematics David Mond University of Warwick 2012 
  37. Proof Theory: From the Foundations of Mathematics to Applications in Core Mathematics UlrichKohlenbach
  38. Introduction To Proof Theory Gilles Dowek Ecole Polytechnique
  39. proof theory & philosophy Greg Restall  University of Melbourne
  40. Model theory and constructive mathematics Thierry Coquand
  41. Complexity Theory  Oded Goldreich  Weizmann Institute of Science Israel July 31, 1999
  42. Mathematical Logic Thomas Simon Rutgers University
  43. Introduction to Set Theory Kenneth Harris University of Michigan
  44. Notes on Mathematical Logic David W. Kueker University of Maryland
  45. Foundations of Mathematics Richard Williamson Norwiegian University of Science and Technology Fall 2013
  46. Axiomatic Set Theory Christopher Cooper McQuarrie University
  47.  Model Theory lecture notes written by Ambrus Pal Imperial College from
    the lectures of Hans Liebeck at Imperial College 2008
  48. Logic Course Material for B1a Jochen Koenigsmann Mathematical Institute University of OxfordGodel’s Incompleteness Theorems Hilary Term 2012 Daniel Isaacson Oxford University
    AN INTRODUCTION TO SET THEORY William A. R. Weiss October 2, 2008