Merkliste 
 1 Ergebnisse 
 
1

INFON LOGIC BASED ON CONSTRUCTIVE LOGIC:

AKAMA, SEIKI ; NAGATA, YASUNORI
Logique et Analyse.  49 (2006)  194 - p. 119-136 , 2006