Interactive tutorial of the sequent calculus

49 views
Skip to first unread message

Matúš Kmiť

unread,
Dec 31, 2016, 1:13:28 PM12/31/16
to Shen
Discovered recently:

http://logitext.mit.edu/tutorial

Greetings,
Matúš
Reply all
Reply to author
Forward
0 new messages