Journal of Applied Logic > 2010 > 8 > 4 > 303-304
Editorial
Source
Identifiers
journal ISSN : | 1570-8683 |
DOI | 10.1016/j.jal.2010.10.001 |