Explore >> Select a destination

You are here

 richardzach.org
Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi - Richard Zach
| | ncatlab.org
natural deduction in nLab
12.0 parsecs away

Travel
| |
| | consequently.org
??: Relating Constructive and Classical Logics - consequently.org
7.2 parsecs away

Travel
| |
| | www.brainific.com
Brainific present at CoG 2019 - Brainific
12.1 parsecs away

Travel
| | [AI summary] Brainific's Javier Torres will present a poster on 'Logic foundations of manipulation as game mechanics' at CoG 2019 at Queen Mary University in London.
| | vitalyobukhov.wordpress.com
Shurali the cat | #about.me
32.2 parsecs away

Travel
| Visit the post for more.