Hyper Natural Deduction
| Date first appeared online | |
| DOI | 10.1109/LICS.2015.57 |
| Authors | Beckmann A. |
| Journal Name | 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Volume |
| Date first appeared online | |
| DOI | 10.1109/LICS.2015.57 |
| Authors | Beckmann A. |
| Journal Name | 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Volume |