![Non-classical logic / Mathematical logic / Logical syntax / Mathematical proof / Paraconsistent logic / Intuitionism / Analytic proof / Modal logic / Formal proof / Logic / Philosophical logic / Proof theory Non-classical logic / Mathematical logic / Logical syntax / Mathematical proof / Paraconsistent logic / Intuitionism / Analytic proof / Modal logic / Formal proof / Logic / Philosophical logic / Proof theory](https://www.pdfsearch.io/img/cd52fd5965466568ac9af7eb01426f20.jpg)
| Document Date: 2011-12-19 09:13:33 Open Document File Size: 292,37 KBShare Result on Facebook
City London / / Company Oxford University Press / / Facility University of Oxford / / IndustryTerm logical systems / proof systems / good proof systems / realistic proof systems / formal machinery / communications systems / / Organization Oxford University / University of Oxford / Research Foundation / / Person Luciano Floridi / Marie Duˇzi / Ilp / Sebastian Sequoiah-Grayson / Agostino Floridi / Giuseppe Primiero Universiteit / /
SocialTag |