Logic of information structures, the
Auteur :
Wansing, Heinrich
Éditeur :
Wansing, Heinrich
ISBN :
9783540567349
Date de publication :
29 juil. 1993
Dimensions :
23,4 x 15,6 x 0,9 cm
Poids :
580 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
A logical treatment of two central aspects of the concept of information, namely information processing and information structure. The structure of information is treated as a topic in model theory, while information processing is seen as an aspect of proof theory.