학술논문
On the Computational Representation of Classical Logical Connectives
Document Type
Article
Author
Source
In: Electronic Notes in Theoretical Computer Science . (Electronic Notes in Theoretical Computer Science, 14 June 2007, 171(3):85-109)
Subject
Language
English
ISSN
15710661