On the recognition of admissibility of some rules in intuitionistic logic

Files

preprint326.pdf (47.13 KB)

Publication date

2015-04-01

Authors

Citkin, Alexander

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/394375