Recomienda este artículo a tus amigos:
Handbook of Logic and Proof Techniques for Computer Science Steven G. Krantz Softcover reprint of the original 1st ed. 2002 edition
Precio
€ 49,99
Pedido desde almacén remoto
Entrega prevista 24 de nov. - 2 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Steven G. Krantz
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Handbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz
Logic is, and should be, the core subject area of modern mathemat ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.
264 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 23 de octubre de 2012 |
| ISBN13 | 9781461266198 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 245 |
| Dimensiones | 155 × 235 × 14 mm · 381 g |
| Lengua | Inglés |
![Cover for Steven G. Krantz · The E. M. Stein Lectures on Hardy Spaces - Lecture Notes in Mathematics (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/511/9783031219511.jpg?steven-g-krantz-2023-the-e-m-stein-lectures-on-hardy-spaces-lecture-notes-in-mathematics-paperback-book&class=scaled&v=1694760026)
![Cover for Steven G. Krantz · Harmonic and Complex Analysis in Several Variables - Springer Monographs in Mathematics (Paperback Book) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/033/9783319875033.jpg?steven-g-krantz-2018-harmonic-and-complex-analysis-in-several-variables-springer-monographs-in-mathematics-paperback-book&class=scaled&v=1615225243)
![Cover for Steven G. Krantz · A Mathematical Odyssey: Journey from the Real to the Complex (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/448/9781489978448.jpg?steven-g-krantz-2016-a-mathematical-odyssey-journey-from-the-real-to-the-complex-paperback-book&class=scaled&v=1603964167)
![Cover for Steven G. Krantz · The Proof is in the Pudding: The Changing Nature of Mathematical Proof (Paperback Book) [Softcover reprint of the original 1st ed. 2011 edition] (2016)](https://imusic.b-cdn.net/images/item/original/834/9781493938834.jpg?steven-g-krantz-2016-the-proof-is-in-the-pudding-the-changing-nature-of-mathematical-proof-paperback-book&class=scaled&v=1615213894)
![Cover for Steven G. Krantz · Geometric Analysis of the Bergman Kernel and Metric - Graduate Texts in Mathematics (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/293/9781493944293.jpg?steven-g-krantz-2016-geometric-analysis-of-the-bergman-kernel-and-metric-graduate-texts-in-mathematics-paperback-book&class=scaled&v=1589510298)
![Cover for Steven G. Krantz · The Implicit Function Theorem: History, Theory, and Applications - Modern Birkhauser Classics (Paperback Book) [2013 edition] (2012)](https://imusic.b-cdn.net/images/item/original/804/9781461459804.jpg?steven-g-krantz-2012-the-implicit-function-theorem-history-theory-and-applications-modern-birkhauser-classics-paperback-book&class=scaled&v=1490789025)
![Cover for Steven G. Krantz · The Geometry of Domains in Space - Birkhauser Advanced Texts / Basler Lehrbucher (Paperback Book) [Softcover reprint of the original 1st ed. 1999 edition] (2012)](https://imusic.b-cdn.net/images/item/original/994/9781461271994.jpg?steven-g-krantz-2012-the-geometry-of-domains-in-space-birkhauser-advanced-texts-basler-lehrbucher-paperback-book&class=scaled&v=1501451615)
![Cover for Steven G. Krantz · Handbook of Complex Variables (Paperback Book) [Softcover reprint of the original 1st ed. 1999 edition] (2012)](https://imusic.b-cdn.net/images/item/original/069/9781461272069.jpg?steven-g-krantz-2012-handbook-of-complex-variables-paperback-book&class=scaled&v=1493182156)
![Cover for Steven G. Krantz · A Primer of Real Analytic Functions - Birkhauser Advanced Texts / Basler Lehrbucher (Paperback Book) [Softcover reprint of the original 2nd ed. 2002 edition] (2012)](https://imusic.b-cdn.net/images/item/original/125/9781461264125.jpg?steven-g-krantz-2012-a-primer-of-real-analytic-functions-birkhauser-advanced-texts-basler-lehrbucher-paperback-book&class=scaled&v=1582187977)
![Cover for Steven G. Krantz · A Handbook of Real Variables: With Applications to Differential Equations and Fourier Analysis (Paperback Book) [Softcover reprint of the original 1st ed. 2004 edition] (2012)](https://imusic.b-cdn.net/images/item/original/095/9781461264095.jpg?steven-g-krantz-2012-a-handbook-of-real-variables-with-applications-to-differential-equations-and-fourier-analysis-paperback-book&class=scaled&v=1554007207)
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yves Tille · Sampling Algorithms: with R - Springer Series in Statistics (Hardcover Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/740/9781071655740.jpg?yves-tille-2027-sampling-algorithms-with-r-springer-series-in-statistics-hardcover-book&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Hardcover Book) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2027-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-hardcover-book&class=scaled&v=1780314405)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Paperback Book) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2027-an-introduction-to-manifolds-universitext-paperback-book&class=scaled&v=1780314358)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2027-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-hardcover-book&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-hardcover-book&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Hardcover Book) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2027-the-economics-of-immigration-theory-history-and-policy-population-economics-hardcover-book&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2027-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-hardcover-book&class=scaled&v=1782130051)
![Cover for Computational Methods in Synthetic Biology - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/825/9781071655825.jpg?2026-computational-methods-in-synthetic-biology-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602614)
![Cover for Gapmers: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/750/9781071654750.jpg?2026-gapmers-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180695)
![Cover for Lipases and Phospholipases: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/712/9781071654712.jpg?2026-lipases-and-phospholipases-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180481)
![Cover for Intestinal Stem Cells: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/118/9781071654118.jpg?2026-intestinal-stem-cells-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602647)
![Cover for Stem Cell Transcriptional Networks: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/382/9781071655382.jpg?2026-stem-cell-transcriptional-networks-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790604482)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-hardcover-book&class=scaled&v=1788180241)
