Normal view
MARC view
Carnielli, Walter ...[et al.] (Personal Name)
Machine generated authority record
Work cat.: (OSt)1078: Carnielli, Walter ...[et al.] , Analysis and synthesis of logics, 2008