00868nam2-22003011i-450-990000227610403321000022761FED01000022761(Aleph)000022761FED0100002276120011111d--------km-y0itay50------baitay-------001yy1.: XV, 589 p.RomaTipografia di E. Sinimberghi1889-v.26 cm0010000117332001Fondazioni e lasciti in pro dell'istruzione superiore.Istituti di assistenza e beneficenzaIstruzione superioreLegati a favore dei poveri361.7ITUNINARICAUNIMARCBK99000022761040332113 AR 2 B 336479FINBCFINBC1.: XV, 589 p122808UNINAING0101158nam a2200337 i 450099100102061970753620020507181755.0931106s1986 us ||| | eng 0120585367b10790056-39ule_instLE01305846ExLDip.to Matematicaeng511.3AMS 03-01AMS 03-XXAMS 03BQA9.A638Andrews, Peter B.44359An introduction to mathematical logic and type theory :to truth through proof /Peter B. AndrewsOrlando :Academic Press,1986xv, 304 p. ;23 cm.Computer science and applied mathematicsMathematical logicSymbolic logicType theory.b1079005623-02-1728-06-02991001020619707536LE013 03-XX AND11 (1986)12013000073279le013-E0.00-l- 00000.i1089056728-06-02Introduction to mathematical logic and type theory338324UNISALENTOle01301-01-93ma -engus 3103790nam 22006375 450 991073579590332120250625190206.03-031-31485-910.1007/978-3-031-31485-8(MiAaPQ)EBC30656976(Au-PeEL)EBL30656976(DE-He213)978-3-031-31485-8(PPN)272250597(CKB)27675158700041(EXLCZ)992767515870004120230719d2023 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierThe Barnard Objects: Then and Now /by Tim B. Hunter, Gerald O. Dobek, James E. McGaha1st ed. 2023.Cham :Springer International Publishing :Imprint: Springer,2023.1 online resource (377 pages)The Patrick Moore Practical Astronomy Series,2197-6562Print version: Hunter, Tim B. The Barnard Objects: Then and Now Cham : Springer International Publishing AG,c2023 9783031314841 Includes bibliographical references and index.Chapter 1. Introduction -- Chapter 2. Nebulae: an overview -- Chapter 3. Astronomical Catalogs: an overview -- Chapter 4. Barnard and his photography -- Chapter 5. Visual Observation of the Barnard Objects -- Chapter 6. Modern Imaging of the Barnard Objects -- Chapter 7. Selected Barnard Objects -- Chapter 8. The Missing Barnard Objects -- Chapter 9. The Barnard Objects Now.The Barnard Objects have fascinated professional and amateur astronomers for over one hundred years. Many of those objects first imaged by E.E. Barnard on black-and-white photographic plates are now being captured daily in thousands of color astrophotographs. This book tells of Barnard’s story; describing his life and work as well as how the fields of astronomy and astrophotography have transformed ever since. The chapters in this book are equal parts history and science. It will provide readers with an introduction to nebula science and the incredible discoveries made in this field over the decades; including an overview of popular astronomical catalogues and a detailed look at how astronomical imaging has advanced since Barnard’s time, from early plates to digital imaging and chips. In addition, the book features a comprehensive guide to viewing and imaging these objects yourself. A glossary of astronomical and photographic terms is provided, along with detailed references.And, an updated table displaying the locations of these Barnard Objects; including the missing twenty-five objects from E.E. Barnard’s original catalogue. Richly researched and illustrated, this fascinating reference will attract astronomers of all skill levels interested in astrophotography and how it has changed over the past hundred years.The Patrick Moore Practical Astronomy Series,2197-6562AstronomyObservationsPhysicsHistoryScienceHistoryPhotographyAstronomy, Observations and TechniquesHistory of Physics and AstronomyHistory of SciencePhotographyAstronomyPhysicsHistory.ScienceHistory.Photography.Astronomy, Observations and Techniques.History of Physics and Astronomy.History of Science.Photography.520.92Hunter Tim B.1379290MiAaPQMiAaPQMiAaPQBOOK9910735795903321The Barnard objects3574570UNINA