01723nam0 2200325 i 450 VAN005303520240208121816.77405-214-5205-8978-05-214-5205-220060922d1995 |0itac50 baengGB|||| |||||Bounded arithmetic, propositional logic and complexity theoryJan KrajícekCambridgeCambridge university1995XIV, 343 p.ill.24 cm001VAN00236362001 Encyclopedia of mathematics and its applications210 CambridgeCambridge university6003-XXMathematical logic and foundations [MSC 2020]VANC019750MF03D15Complexity of computation [MSC 2020]VANC023630MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MFCambridgeVANL000024KrajicekJanVANV041836477381Cambridge university <editore>VANV107986650ITSOL20240209RICAhttps://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=falsePreviewVAN0053035BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 2261 08 4080 I a 20060922 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2261 08 4454 I b 20060922 Bounded arithmetic, propositional logic, and complexity theory911670UNICAMPANIA