01094nam0-22004091i-450-99000256038040332120130226190025.0000256038FED01000256038(Aleph)000256038FED0100025603820130226d1956----km-y0itay50------baengUSIntroduction to mathematical logicAlonzo ChurchPrinceton [N.J.]Princeton University Press1956IX, 378 p.ill.24 cmPrinceton mathematical series17Logica e fondamentiLogicaRicorsività511.3160Church,Alonzo45761ITUNINARICAUNIMARCBK990002560380403321MXXXII-B-65566MAS10 C 6529 CCEDINELC-45-(172238MA17-017518FI1MASDINELMA1FI1Introduction to mathematical logic345958UNINA01635nam 2200409 450 991071653390332120210630092321.0(CKB)5470000002522818(OCoLC)1258117488(EXLCZ)99547000000252281820210630d2020 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierDefining technology operational readiness for the 3D Elevation Program a plan for investment, incubation, and adoption /by Jason M. StokerReston, Virginia :U.S. Department of the Interior, U.S. Geological Survey,2020.1 online resource (iv, 7 pages) color illustrationsOpen-file report,2331-1258 ;2020-1015"National Geospatial Program."Includes bibliographical references (page 7).Defining technology operational readiness for the 3D Elevation Program Remote sensingUnited StatesEquipment and suppliesRemote sensing equipment industryUnited StatesGeological mappingUnited StatesRemote sensingEquipment and supplies.Remote sensing equipment industryGeological mappingStoker Jason M.1404993Geological Survey (U.S.).National Geospatial Program Office,GPOGPOBOOK9910716533903321Defining technology operational readiness for the 3D Elevation Program3539936UNINA