01291nam 2200373 450 00001184520050718115400.00-387-94174-620021003d1994----km-y0itay0103----baengUSComputabilitya mathematical sketchbookDouglas S. BridgesNew York [etc.]Springerc1994IX, 178 p.ill.25 cm.Graduate texts in mathematics146Logica matematica511.3(20. ed.)Logica matematica (Logica simbolica)03DxxMathematical logic and foundations. Computability and recursion theoryBridges,Douglas S.51513ITUniversità della Basilicata - B.I.A.RICAunimarc000011845Computability79429UNIBASMONSCIMONOGRSCIENZEEXT0020120021003BAS01114120050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT3117M31172002100351Riservati