02087nam 2200445 450 00001397020050718115500.03-540-52734-620030611d1990----km-y0itay0103----baengDELogic and computer sciencelectures given at the 1. session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988S. Homer ... [et al.]editor P. OdifreddiBerlin [etc.]Springerc1990162 p.25 cm.Lecture notes in mathematics14292001Lecture notes in mathematicsLogica matematicaApplicazioni alla programmazione degli elaboratori elettroniciCongressi005.131(21. ed.)Linguaggidi programmazione. Logica matematica (Logica simbolica)03B40Mathematical logic and foundations. General logic. Combinatory logic and lambda-calculus03B20Mathematical logic and foundations. General logic. Subsystems of classical logic (including intuitionistic logic)03B70Mathematical logic and foundations. General logic. Logic in computer science03D15Mathematical logic and foundations. Complexity of computationHomer,S.Odifreddi,PiergiorgioCentro internazionale matematico estivo<1988; Montecatini Terme>441378ITUniversità della Basilicata - B.I.A.RICAunimarc000013970Logic and computer science80112UNIBASMONSCISCIENZEEXT0030120030611BAS011219EXT0030120030611BAS01122020050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT69085S690852003061151Riservati