Nuel Belnap : The Art and Science of Logic
Nuel Belnap now has two logic texbook drafts on his webpage :
Notes on the Art of Logic (.pdf, 310 p.)
Notes on the Science of Logic (.pdf, 237p.)
Catégorie:
Intext
Thursday, October 02, 2008
Subscribe to:
Post Comments (Atom)
1 commentaires:
Logical Foundations of Proof Complexity, Stephen Cook and Phuong Nguyen, To be published soon by the Perspectives in Logic series of the Association for Symbolic Logic through Cambridge University Press
http://www.cs.toronto.edu/~sacook/homepage/book/
Post a Comment