Implementing Constructive Intensional Negation
Julio Mariño, Juan José Moreno-Navarro, Susana Munoz-HernandezVolume:
27
Language:
english
Pages:
32
DOI:
10.1007/s00354-008-0053-9
Date:
November, 2008
File:
PDF, 655 KB
english, 2008