01396nam2-2200433li-450 99000023560020331620180918155407.00-444-87406-20023560USA010023560(ALEPH)000023560USA0100235602001993121989-------y0itay0103----baengNEComputability complexity logicE. BörgerAmsterdam [etc.]Noth-Holland1989XX, 592 p.ill.22 cmStudies in logic and the foundations of mathematics1280010003345862001Studies in logic and the foundations of mathematics128AlgoritmiComplessità computazionale511.3Logica simbolica (Logica matematica)BÖRGER,Egon51951ITsalbcISBD990000235600203316510 SL 12815366/CBS51000218677BKSCI1993122820001110USA01171520020403USA011631PATRY9020040406USA011617PATRY9020061003USA011548RSIAV79020090428USA010941RSIAV69020091110USA011132RSIAV69020091110USA011136Computability, complexity, logic344226UNISA