Bulletin of Symbolic Logic 7 (2):169-196 (2001)
|Abstract||The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Kenny Easwaran (2010). Logic and Probability. Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Added to index2009-01-28
Total downloads5 ( #160,518 of 549,754 )
Recent downloads (6 months)1 ( #63,425 of 549,754 )
How can I increase my downloads?