Normal view
MARC view
Formal inference systems(Topical Term)
Machine generated authority record
Work cat.: (OSt)13693: Li, Wei author 447292, Mathematical logic, 2014.