|
|||||
|
|
Taming first-order logic |
|
| Authors: | Mikulas S |
| Affiliation: | Department of Computer Science, King's College, London, Strand, London WC2R 2LS, UK. E-mail: szabolcs@dcs.kcl.ac.uk |
| Abstract: | |
| Keywords: | first-order logic decidability relativization mosaic polyadic and counting quantifiers. |
| 本文献已被 Oxford 等数据库收录！ | |