01668nam0-2200505---450-9900000690502033162000060288-324-3959-X0006905USA010006905(ALEPH)000006905USA01000690520000602d2000----|||y0itay0103----baitait||||||||001yyAnnuario di normativa tecnica e legislazione ambientaleraccolta organica su Cd-Rom di norme e disposizioni comunitarie e nazionali 1025 schede con la sintesi dei principali provvedimentiMilanoIl sole 24 ore2000153, 5 p.25 cmIn testa al front. : Comitato termotecnico italianoAmbiente naturale Tutela Legislazione Annuari346.4504676ITSALBCISBD990000069050203316346.4504676 ANN25298 G.346.450467600003036BK20000914USA01173120001019USA01105520001019USA01145320001019USA01150020001019USA01153820001024USA01151420001027USA01151820001027USA01152320001110USA01170920001124USA01120720020403USA011614PATRY9020040406USA011606CHIARA9020110519USA011422PATRY9020121106USA011535ANNUARIO di normativa tecnica e legislazione ambientale624874UNISAUSA016905giu01723nam0 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