Jacques Herbrand (1908 - 1931) Principal writings in logic
JACM 1996 paper
Jabberwocky by Lewis Carroll
IUMA Máster MTT, Métodos, 2015-2016 Examen 22 febrero 2016
Is `structure` a clear notion? - University of Illinois at Chicago
Object-Based Unawareness
Numbers Strand Lecture 5 (Week 8)
Nuclear Fusion, the Cosmological Principle, and the Drake Equation
NPComplete
NP-complete
Notions of locality and their logical characterizations over nite
Notions of Computability at Higher Type
Notes5
Notes Predicate Logic II
Notes Predicate Logic
Notes on `the contemporary conception of logic`
NOTES ON WRONSKIANS What follows is an account of what the
Notes on Writing Proofs
Notes on the Science of Logic
Notes on the ACL2 Logic
