Merkliste 
 1 Ergebnisse 
 
1

An informational view of classical logic:

D'Agostino, Marcello
Theoretical Computer Science.  606 (2015)  - p. 79-97 , 2015