Rutgers University is celebrating 250 years, yay! #RU250
NASSLLI 2016 (the North American Summer School on Logic, Language and Information 2016)
is happening there, pretty soon.
Together with Luiz Carlos Pereira and
Edward Hermann Haeusler I am teaching Natural Deduction for the Working Logician.
This blog is to provide some extra information about the course, like the reader for the first two lectures, which is the next post.
We plan to post the slides as well as exercise sheets. Feel free to contact us with questions!
Looking forward to meeting many logicians interested in Natural Deduction at NASSLLI!
Luiz Carlos, Hermann and Valeria
NASSLLI 2016 (the North American Summer School on Logic, Language and Information 2016)
is happening there, pretty soon.
Edward Hermann Haeusler I am teaching Natural Deduction for the Working Logician.
This blog is to provide some extra information about the course, like the reader for the first two lectures, which is the next post.
We plan to post the slides as well as exercise sheets. Feel free to contact us with questions!
Looking forward to meeting many logicians interested in Natural Deduction at NASSLLI!
Luiz Carlos, Hermann and Valeria
No comments:
Post a Comment