Study of Logics

Auteur: Cleave, John P. (Reader in Mathematics (retired), Reader in Mathematics (retired), University of Bristol)
Editeur: Oxford University Press
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.
Sur commande
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.
ISBN / EAN 9780198532118
Auteur Cleave, John P. (Reader in Mathematics (retired), Reader in Mathematics (retired), University of Bristol)
Editeur Oxford University Press