Bøger af John P. (Reader in Mathematics (retired) Cleave

A great variety of logical systems arise in mathematical logic and computer science. This is a new systematic study of the principles behind such logics. The technical work is illuminated by information about its historical and philosophical context.