Graduate studies at Western
|Abstract||These notes contain the material covered in the second level logic course which has been offered at the Institut für Maschinelle Sprachverarbeitung of the University of Stuttgart on an annual basis since 1992. The course is aimed at students who are familiar with the notation and use of the first order predicate calculus but have had little or no previous exposure to metamathematics.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
Krister Segerberg (1989). Notes on Conditional Logic. Studia Logica 48 (2):157 - 168.
J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
G. T. Kneebone (1963/2001). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover.
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
G. C. Smith (1983). Boole's Annotations on 'the Mathematical Analysis of Logic'. History and Philosophy of Logic 4 (1-2):27-39.
Irving H. Anellis (2012). Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic. Logica Universalis 6 (3-4):301-326.
Kurt[from old catalog] Schütte (1962). Lecture Notes in Mathematical Logic. University Park, Dept. Of Mathematics, Pennsylvania State University.
Added to index2010-12-22
Total downloads3 ( #213,980 of 740,375 )
Recent downloads (6 months)1 ( #61,802 of 740,375 )
How can I increase my downloads?