RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Négation constructive et axiomatique interne

G. Blanc and K. Liogier

RAIRO-Theor. Inf. Appl., 31 5 (1997) 411-428

Published online: 01 February 2017

DOI: 10.1051/ita/1997310504111

G. Blanc

K. Liogier

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)