01086nam a2200277 a 4500991003345169707536080218s1998 it 000 0 ita d8877505435b13672551-39ule_instSet. Economiaita511.3Ben-Ari, Mordechai5385Logica matematica per l'informatica /Mordechai Ben-Ari ; edizione italiana a cura di Anna LabellaTorino :UTET Università ;New York:Prentice hall international,1998xix, 309 p. ;24 cmMatematicaTraduzione di Uliano Paolozzi BalestriniLogica matematica InformaticaLabella, AnnaMathematical Logic for Computer Science.b1367255102-04-1418-02-08991003345169707536LE025 ECO 511 MOR01.0112025000117020le025-E0.00-l- 00000.i1467633321-02-08Logica matematica per l'informatica1214473UNISALENTOle02518-02-08ma -itait 0001417nam 2200457I 450 991070510840332120140313163840.0(CKB)5470000002448277(OCoLC)872591471(EXLCZ)99547000000244827720140313d1984 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierStarlab ground system guidelines document /Frederick J. HawkinsGreenbelt Maryland :Goddard Space Flight Center,1984.1 online resource (132 unnumbered pages)NASA-CR ;175192Title from title screen (viewed on Mar. 13, 2014)."January 1984."Space platformsnasatSpace shuttlesnasatSpace stationsnasatSpacelabnasatStarlabnasatSpace platforms.Space shuttles.Space stations.Spacelab.Starlab.Hawkins Frederick J.1403499Goddard Space Flight Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910705108403321Starlab ground system guidelines document3476347UNINA