01194nam0-2200385-i-450-99000933860040332120110406123405.0978-0-521-15433-8paperback000933860FED01000933860(Aleph)000933860FED0100093386020110406d2011----km-y0itay50------baengUSa---a---001yyForcing with random variables and proof complexityJan KrajíčekCambridgeCambridge University Press2011XVI, 247 p.23 cmLondon Mathematical Society lecture note series382Logica matematica e fondamentiPresentazione di ricercheModelli dell'aritmetica e della teoria degli insiemiComplessità delle dimostrazioni511.322itaKrajíček,JanITUNINAREICATUNIMARCBK990009338600403321C-9-(38224575MA1MA103-0203C6203F20Forcing with random variables and proof complexity239993UNINA02284oam 2200613 450 991070697510332120180405112544.0(CKB)5470000002459724(OCoLC)896810603(OCoLC)995470000002459724(EXLCZ)99547000000245972420141123e19791978 ua 0engurmn|||||||||txtrdacontentcrdamediacrrdacarrier"Nature to be commanded ... " earth-science maps applied to land and water management /G. D. Robinson and Andrew M. Spieker, editorsWashington :United States Department of the Interior, Geological Survey,1978.Washington :United States Government Printing Office,1979.1 online resource (iv, 95 pages) illustrations (some color), maps (some color)Geological Survey professional paper ;950Title from title screen (viewed October 6, 2014)."Demonstrates the value of earth-science information in land and water management by showing how earth-science maps have been used in making plans and decisions in a variety of urban settings."Includes bibliographical references (pages 93-95) and index."Nature to be commanded ... " Earth sciencesUnited StatesMapsLand useUnited StatesPlanningCase studiesSoilsTestingSoil mechanicsEarth sciencesfastLand usePlanningfastUnited StatesfastCase studies.fastMaps.fastMaps.lcgftEarth sciencesLand usePlanningSoilsTesting.Soil mechanics.Earth sciences.Land usePlanning.Robinson G. D(Gershon Du Vall),1918-Spieker Andrew Maute1932-Geological Survey (U.S.),COPCOPOCLCOOCLCFGPOBOOK9910706975103321"Nature to be commanded ... "3488680UNINA