01753nam0 2200325 i 450 SUN005303520170920121902.11905-214-5205-80.00978-05-214-5205-220060922d1995 |0engc50 baengGB|||| |||||*Bounded arithmetic, propositional logic and complexity theoryJan KrajícekCambridgeCambridge university1995XIV, 343 p.ill.24 cm.001SUN00236362001 Encyclopedia of mathematics and its applications60210 CambridgeCambridge university1976-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003D15Complexity of computation [MSC 2020]MFSUNC02363003F30First-order arithmetic and fragments [MSC 2020]MFSUNC024401CambridgeSUNL000024Krajicek, JanSUNV041836477381Cambridge universitySUNV000097650ITSOL20200720RICAhttps://books.google.it/books?id=6XkgKydE0Z8C&printsec=frontcover&dq=Bounded+arithmetic+propositional+logic+and+complexity+theory&hl=it&sa=X&ved=0ahUKEwitl6GvxLPWAhWCwBQKHX-0CZIQ6AEIJjAA#v=onepage&q&f=falsePreviewSUN0053035UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 2261 08 4080 I a 20060922 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2261 08 4454 I b 20060922 Bounded arithmetic, propositional logic, and complexity theory911670UNICAMPANIA