この商品を友人に教える:
Handbook of Logic and Proof Techniques for Computer Science Steven G. Krantz 2002 edition
価格
¥ 10.362
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月15日 - 年11月2日
Steven G. Krantz の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
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.
245 pages, biography
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2002年1月17日 |
| ISBN13 | 9780817642204 |
| 出版社 | Birkhauser Boston Inc |
| ページ数 | 245 |
| 寸法 | 155 × 235 × 15 mm · 576 g |
![Cover for Steven G. Krantz · Harmonic and Complex Analysis in Several Variables - Springer Monographs in Mathematics (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/292/9783319632292.jpg?steven-g-krantz-2017-harmonic-and-complex-analysis-in-several-variables-springer-monographs-in-mathematics-hardcover-book&class=scaled&v=1532521700)
![Cover for Steven G. Krantz · A Mathematical Odyssey: Journey from the Real to the Complex (Hardcover Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/382/9781461489382.jpg?steven-g-krantz-2014-a-mathematical-odyssey-journey-from-the-real-to-the-complex-hardcover-book&class=scaled&v=1493182156)
![Cover for Steven G. Krantz · Geometric Analysis of the Bergman Kernel and Metric - Graduate Texts in Mathematics (Hardcover Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/239/9781461479239.jpg?steven-g-krantz-2013-geometric-analysis-of-the-bergman-kernel-and-metric-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1394172275)
![Cover for Steven G. Krantz · Explorations in Harmonic Analysis: With Applications to Complex Function Theory and the Heisenberg Group - Applied and Numerical Harmonic Analysis (Hardcover Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/684/9780817646684.jpg?steven-g-krantz-2009-explorations-in-harmonic-analysis-with-applications-to-complex-function-theory-and-the-heisenberg-group-applied-and-numerical-harmonic-analysis-hardcover-book&class=scaled&v=1397295145)
![Cover for Steven G. Krantz · Geometric Integration Theory - Cornerstones (Hardcover Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/769/9780817646769.jpg?steven-g-krantz-2008-geometric-integration-theory-cornerstones-hardcover-book&class=scaled&v=1564185912)
![Cover for Steven G. Krantz · Geometric Function Theory: Explorations in Complex Analysis - Cornerstones (Hardcover Book) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/393/9780817643393.jpg?steven-g-krantz-2005-geometric-function-theory-explorations-in-complex-analysis-cornerstones-hardcover-book&class=scaled&v=1621210155)
![Cover for Steven G. Krantz · A Handbook of Real Variables: With Applications to Differential Equations and Fourier Analysis (Hardcover Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/294/9780817643294.jpg?steven-g-krantz-2003-a-handbook-of-real-variables-with-applications-to-differential-equations-and-fourier-analysis-hardcover-book&class=scaled&v=1410255172)
![Cover for Steven G. Krantz · A Primer of Real Analytic Functions - Birkhauser Advanced Texts / Basler Lehrbucher (Hardcover Book) [2nd ed. 2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/648/9780817642648.jpg?steven-g-krantz-2002-a-primer-of-real-analytic-functions-birkhauser-advanced-texts-basler-lehrbucher-hardcover-book&class=scaled&v=1623330506)
![Cover for Steven G. Krantz · Handbook of Complex Variables (Hardcover Book) [1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/118/9780817640118.jpg?steven-g-krantz-1999-handbook-of-complex-variables-hardcover-book&class=scaled&v=1410279739)
![Cover for Steven G. Krantz · The Geometry of Domains in Space - Birkhauser Advanced Texts / Basler Lehrbucher (Hardcover Book) [1999 edition] (1999)](https://imusic.b-cdn.net/images/item/original/972/9780817640972.jpg?steven-g-krantz-1999-the-geometry-of-domains-in-space-birkhauser-advanced-texts-basler-lehrbucher-hardcover-book&class=scaled&v=1623096037)
![Cover for Elena Anne Corie Marchisotto · The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics (Hardcover Book) [1st ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/220/9780817648220.jpg?elena-anne-corie-marchisotto-2021-the-legacy-of-mario-pieri-in-foundations-and-philosophy-of-mathematics-hardcover-book&class=scaled&v=1614820721)
![Cover for Peter Falb · Direct Methods in Control Problems (Hardcover Book) [2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/223/9780817647223.jpg?peter-falb-2020-direct-methods-in-control-problems-hardcover-book&class=scaled&v=1623799024)
![Cover for Antoine Chambert-Loir · Motivic Integration - Progress in Mathematics (Paperback Book) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/154/9781493993154.jpg?antoine-chambert-loir-2019-motivic-integration-progress-in-mathematics-paperback-book&class=scaled&v=1612143291)
![Cover for Shayne F. D. Waldron · An Introduction to Finite Tight Frames - Applied and Numerical Harmonic Analysis (Paperback Book) [Softcover reprint of the original 1st ed. 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/202/9781493979202.jpg?shayne-f-d-waldron-2019-an-introduction-to-finite-tight-frames-applied-and-numerical-harmonic-analysis-paperback-book&class=scaled&v=1560163769)
![Cover for Kathleen Clark · Jost Burgi's Aritmetische und Geometrische Progreß Tabulen (1620): Edition and Commentary - Science Networks. Historical Studies (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2019)](https://imusic.b-cdn.net/images/item/original/912/9781493979912.jpg?kathleen-clark-2019-jost-burgi-s-aritmetische-und-geometrische-progre-tabulen-1620-edition-and-commentary-science-networks-historical-studies-paperback-book&class=scaled&v=1621150644)
![Cover for Chambert-Loir · Motivic Integration (Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/854/9781493978854.jpg?chambert-loir-2018-motivic-integration-book&class=scaled&v=1564185697)
![Cover for Beyond Einstein: Perspectives on Geometry, Gravitation, and Cosmology in the Twentieth Century - Einstein Studies (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/062/9781493977062.jpg?2018-beyond-einstein-perspectives-on-geometry-gravitation-and-cosmology-in-the-twentieth-century-einstein-studies-hardcover-book&class=scaled&v=1530785295)
![Cover for Andreas Deutsch · Cellular Automaton Modeling of Biological Pattern Formation: Characterization, Examples, and Analysis - Modeling and Simulation in Science, Engineering and Technology (Hardcover Book) [2nd ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/780/9781489979780.jpg?andreas-deutsch-2018-cellular-automaton-modeling-of-biological-pattern-formation-characterization-examples-and-analysis-modeling-and-simulation-in-science-engineering-and-technology-hardcover-book&class=scaled&v=1486584206)
![Cover for Shayne F. D. Waldron · An Introduction to Finite Tight Frames - Applied and Numerical Harmonic Analysis (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/145/9780817648145.jpg?shayne-f-d-waldron-2018-an-introduction-to-finite-tight-frames-applied-and-numerical-harmonic-analysis-hardcover-book&class=scaled&v=1519742172)
![Cover for Titu Andreescu · Mathematical Bridges (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/942/9780817643942.jpg?titu-andreescu-2017-mathematical-bridges-hardcover-book&class=scaled&v=1616551713)
![Cover for Towards a Theory of Spacetime Theories - Einstein Studies (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/092/9781493932092.jpg?2017-towards-a-theory-of-spacetime-theories-einstein-studies-hardcover-book&class=scaled&v=1595954707)
![Cover for Elena Prestini · The Evolution of Applied Harmonic Analysis: Models of the Real World - Applied and Numerical Harmonic Analysis (Hardcover Book) [2nd ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/872/9781489979872.jpg?elena-prestini-2016-the-evolution-of-applied-harmonic-analysis-models-of-the-real-world-applied-and-numerical-harmonic-analysis-hardcover-book&class=scaled&v=1485944398)
![Cover for Walter Gautschi, Volume 3: Selected Works with Commentaries - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/572/9781493955572.jpg?2016-walter-gautschi-volume-3-selected-works-with-commentaries-contemporary-mathematicians-paperback-book&class=scaled&v=1480873347)
![Cover for Symmetry · Symmetry: Representation Theory and Its Applications: In Honor of Nolan R. Wallach - Progress in Mathematics (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/845/9781493943845.jpg?symmetry-2016-symmetry-representation-theory-and-its-applications-in-honor-of-nolan-r-wallach-progress-in-mathematics-paperback-book&class=scaled&v=1603956199)
![Cover for Walter Gautschi, Volume 1: Selected Works with Commentaries - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/890/9781493943890.jpg?2016-walter-gautschi-volume-1-selected-works-with-commentaries-contemporary-mathematicians-paperback-book&class=scaled&v=1614660614)
![Cover for Walter Gautschi, Volume 2: Selected Works with Commentaries - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/906/9781493943906.jpg?2016-walter-gautschi-volume-2-selected-works-with-commentaries-contemporary-mathematicians-paperback-book&class=scaled&v=1609302980)
![Cover for Alexander I. Saichev · Distributions in the Physical and Engineering Sciences, Volume 2: Linear and Nonlinear Dynamics in Continuous Media - Applied and Numerical Harmonic Analysis (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/201/9781493950201.jpg?alexander-i-saichev-2016-distributions-in-the-physical-and-engineering-sciences-volume-2-linear-and-nonlinear-dynamics-in-continuous-media-applied-and-numerical-harmonic-analysis-paperback-book&class=scaled&v=1611601911)
![Cover for Titu Andreescu · Essential Linear Algebra with Applications: A Problem-Solving Approach (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/537/9781493938537.jpg?titu-andreescu-2016-essential-linear-algebra-with-applications-a-problem-solving-approach-paperback-book&class=scaled&v=1475429182)
![Cover for Alfred Tarski: Early Work in Poland—Geometry and Teaching (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/178/9781493951178.jpg?2016-alfred-tarski-early-work-in-poland-geometry-and-teaching-paperback-book&class=scaled&v=1623332102)
![Cover for Menahem Max Schiffer: Selected Papers Volume 2 - Contemporary Mathematicians (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/558/9781493939558.jpg?2016-menahem-max-schiffer-selected-papers-volume-2-contemporary-mathematicians-paperback-book&class=scaled&v=1614643000)
![Cover for N. Balakrishnan · The Art of Progressive Censoring: Applications to Reliability and Quality - Statistics for Industry and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/843/9781493950843.jpg?n-balakrishnan-2016-the-art-of-progressive-censoring-applications-to-reliability-and-quality-statistics-for-industry-and-technology-paperback-book&class=scaled&v=1476763321)
![Cover for Maria Kateri · Contingency Table Analysis: Methods and Implementation Using R - Statistics for Industry and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/596/9781493939596.jpg?maria-kateri-2016-contingency-table-analysis-methods-and-implementation-using-r-statistics-for-industry-and-technology-paperback-book&class=scaled&v=1480873347)
![Cover for Mathematical Oncology 2013 - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/031/9781493948031.jpg?2016-mathematical-oncology-2013-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1623601957)
![Cover for Computational Methods for Three-Dimensional Microscopy Reconstruction - Applied and Numerical Harmonic Analysis (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/914/9781493946914.jpg?2016-computational-methods-for-three-dimensional-microscopy-reconstruction-applied-and-numerical-harmonic-analysis-paperback-book&class=scaled&v=1630561042)
![Cover for Felix Klein · The Theory of the Top. Volume IV: Technical Applications of the Theory of the Top (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/911/9781493950911.jpg?felix-klein-2016-the-theory-of-the-top-volume-iv-technical-applications-of-the-theory-of-the-top-paperback-book&class=scaled&v=1609421097)
![Cover for Tomas Chacon Rebollo · Mathematical and Numerical Foundations of Turbulence Models and Applications - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/758/9781493951758.jpg?tomas-chacon-rebollo-2016-mathematical-and-numerical-foundations-of-turbulence-models-and-applications-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1480873348)
![Cover for T. Kyle Petersen · Eulerian Numbers - Birkhauser Advanced Texts Basler Lehrbucher (Paperback Book) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/942/9781493947942.jpg?t-kyle-petersen-2016-eulerian-numbers-birkhauser-advanced-texts-basler-lehrbucher-paperback-book&class=scaled&v=1620438180)
![Cover for Enzo Tonti · The Mathematical Structure of Classical and Relativistic Physics: A General Classification Diagram - Modeling and Simulation in Science, Engineering and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/329/9781493942329.jpg?enzo-tonti-2016-the-mathematical-structure-of-classical-and-relativistic-physics-a-general-classification-diagram-modeling-and-simulation-in-science-engineering-and-technology-paperback-book&class=scaled&v=1480873348)
![Cover for Victor Chulaevsky · Multi-scale Analysis for Random Quantum Systems with Interaction - Progress in Mathematical Physics (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/527/9781493939527.jpg?victor-chulaevsky-2016-multi-scale-analysis-for-random-quantum-systems-with-interaction-progress-in-mathematical-physics-paperback-book&class=scaled&v=1480873347)
![Cover for Yury V. Orlov · Advanced H Control: Towards Nonsmooth Theory and Applications - Systems & Control: Foundations & Applications (Paperback Book) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/422/9781493944422.jpg?yury-v-orlov-2016-advanced-h-control-towards-nonsmooth-theory-and-applications-systems-control-foundations-applications-paperback-book&class=scaled&v=1480873348)
![Cover for W.D. Wallis · Mathematics in the Real World (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/338/9781493948338.jpg?w-d-wallis-2016-mathematics-in-the-real-world-paperback-book&class=scaled&v=1604005858)
![Cover for N. Unnikrishnan Nair · Quantile-Based Reliability Analysis - Statistics for Industry and Technology (Paperback Book) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/673/9781493951673.jpg?n-unnikrishnan-nair-2016-quantile-based-reliability-analysis-statistics-for-industry-and-technology-paperback-book&class=scaled&v=1480873347)