Tipsa dina vänner om produkten:
Logic and Complexity - Discrete Mathematics and Theoretical Computer Science Richard Lassaigne Softcover reprint of the original 1st ed. 2004 edition
Pris
SEK 1.969
Beställningsvara
Förväntad leverans 25 aug - 8 sep
Få avisering om nya utgåvor med Richard Lassaigne
Lägg till din iMusic-önskelista
eller
Finns även som:
Logic and Complexity - Discrete Mathematics and Theoretical Computer Science
Richard Lassaigne
Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
371 pages, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 8 oktober 2012 |
| ISBN13 | 9781447110521 |
| Utgivare | Springer London Ltd |
| Antal sidor | 361 |
| Mått | 157 × 234 × 20 mm · 526 g |
| Språk | Engelska |
![Cover for John Vince · Mathematics for Computer Graphics - Undergraduate Topics in Computer Science (Pocketbok) [Seventh Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/490/9781447175490.jpg?john-vince-2025-mathematics-for-computer-graphics-undergraduate-topics-in-computer-science-pocketbok&class=scaled&v=1735144367)
![Cover for Max Bramer · Principles of Data Mining - Undergraduate Topics in Computer Science (Pocketbok) [4th ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/929/9781447174929.jpg?max-bramer-2020-principles-of-data-mining-undergraduate-topics-in-computer-science-pocketbok&class=scaled&v=1589239471)
![Cover for Attila Chikan · Inventories in National Economies: A Cross-Country Analysis of Macroeconomic Data (Pocketbok) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/356/9781447174356.jpg?attila-chikan-2019-inventories-in-national-economies-a-cross-country-analysis-of-macroeconomic-data-pocketbok&class=scaled&v=1576226518)
![Cover for Narain Moorjani · Operative Mitral and Tricuspid Valve Surgery (Bok) [1st ed. 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/034/9781447142034.jpg?narain-moorjani-2019-operative-mitral-and-tricuspid-valve-surgery-bok&class=scaled&v=1603967402)
![Cover for Israel Cesar Lerman · Foundations and Methods in Combinatorial and Statistical Data Analysis and Clustering - Advanced Information and Knowledge Processing (Pocketbok) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/922/9781447173922.jpg?israel-cesar-lerman-2018-foundations-and-methods-in-combinatorial-and-statistical-data-analysis-and-clustering-advanced-information-and-knowledge-processing-pocketbok&class=scaled&v=1599903048)
![Cover for James Hirschfeld · General Galois Geometries - Springer Monographs in Mathematics (Pocketbok) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/915/9781447173915.jpg?james-hirschfeld-2018-general-galois-geometries-springer-monographs-in-mathematics-pocketbok&class=scaled&v=1605109793)
![Cover for Emilio Barucci · Financial Markets Theory: Equilibrium, Efficiency and Information - Springer Finance (Inbunden Bok) [2nd ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/212/9781447173212.jpg?emilio-barucci-2017-financial-markets-theory-equilibrium-efficiency-and-information-springer-finance-inbunden-bok&class=scaled&v=1514889469)
![Cover for Harold L. Hallock · ACS Without an Attitude - NASA Monographs in Systems and Software Engineering (Inbunden Bok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/243/9781447173243.jpg?harold-l-hallock-2017-acs-without-an-attitude-nasa-monographs-in-systems-and-software-engineering-inbunden-bok&class=scaled&v=1503497219)
![Cover for Vilmos Komornik · Topology, Calculus and Approximation - Springer Undergraduate Mathematics Series (Pocketbok) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/151/9781447173151.jpg?vilmos-komornik-2017-topology-calculus-and-approximation-springer-undergraduate-mathematics-series-pocketbok&class=scaled&v=1569316505)
![Cover for Adrian David Cheok · Hyperconnectivity - Human-Computer Interaction Series (Pocketbok) [1st ed. 2016 edition] (2017)](https://imusic.b-cdn.net/images/item/original/090/9781447173090.jpg?adrian-david-cheok-2017-hyperconnectivity-human-computer-interaction-series-pocketbok&class=scaled&v=1489687854)
![Cover for Yves Coudene · Ergodic Theory and Dynamical Systems - Universitext (Pocketbok) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/857/9781447172857.jpg?yves-coudene-2016-ergodic-theory-and-dynamical-systems-universitext-pocketbok&class=scaled&v=1605404608)
![Cover for Francisco J. Valero-Cuevas · Fundamentals of Neuromechanics - Biosystems & Biorobotics (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/891/9781447170891.jpg?francisco-j-valero-cuevas-2016-fundamentals-of-neuromechanics-biosystems-biorobotics-pocketbok&class=scaled&v=1493137001)
![Cover for Kheng Lim Goh · Discontinuous-Fibre Reinforced Composites: Fundamentals of Stress Transfer and Fracture Mechanics - Engineering Materials and Processes (Inbunden Bok) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/038/9781447173038.jpg?kheng-lim-goh-2016-discontinuous-fibre-reinforced-composites-fundamentals-of-stress-transfer-and-fracture-mechanics-engineering-materials-and-processes-inbunden-bok&class=scaled&v=1603941711)
![Cover for Rudolph Frederick Stapelberg · Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design (Pocketbok) [Softcover reprint of the original 1st ed. 2009 edition] (2016)](https://imusic.b-cdn.net/images/item/original/362/9781447171362.jpg?rudolph-frederick-stapelberg-2016-handbook-of-reliability-availability-maintainability-and-safety-in-engineering-design-pocketbok&class=scaled&v=1667374924)
![Cover for Walter S. Brainerd · Guide to Fortran 2008 Programming (Pocketbok) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/898/9781447168898.jpg?walter-s-brainerd-2016-guide-to-fortran-2008-programming-pocketbok&class=scaled&v=1604780942)
![Cover for David J. Barnes · Guide to Simulation and Modeling for Biosciences - Simulation Foundations, Methods and Applications (Pocketbok) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/980/9781447168980.jpg?david-j-barnes-2016-guide-to-simulation-and-modeling-for-biosciences-simulation-foundations-methods-and-applications-pocketbok&class=scaled&v=1605277862)
![Cover for Sandro Corsi · Voltage Control and Protection in Electrical Power Systems: From System Components to Wide-Area Control - Advances in Industrial Control (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/652/9781447171652.jpg?sandro-corsi-2016-voltage-control-and-protection-in-electrical-power-systems-from-system-components-to-wide-area-control-advances-in-industrial-control-pocketbok&class=scaled&v=1478628210)
![Cover for Designing Socially Embedded Technologies in the Real-World - Computer Supported Cooperative Work (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/157/9781447171157.jpg?2016-designing-socially-embedded-technologies-in-the-real-world-computer-supported-cooperative-work-pocketbok&class=scaled&v=1604576510)
![Cover for A Multimodal End-2-End Approach to Accessible Computing - Human-Computer Interaction Series (Pocketbok) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/747/9781447170747.jpg?2016-a-multimodal-end-2-end-approach-to-accessible-computing-human-computer-interaction-series-pocketbok&class=scaled&v=1621267022)
![Cover for Arthur M. Langer · Guide to Software Development: Designing and Managing the Life Cycle (Inbunden Bok) [2nd ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/976/9781447167976.jpg?arthur-m-langer-2016-guide-to-software-development-designing-and-managing-the-life-cycle-inbunden-bok&class=scaled&v=1617887999)
![Cover for Julian Ashbourn · Practical Biometrics: From Aspiration to Implementation (Pocketbok) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/225/9781447168225.jpg?julian-ashbourn-2016-practical-biometrics-from-aspiration-to-implementation-pocketbok&class=scaled&v=1508118784)
![Cover for Ming Yang · Energy Efficiency: Benefits for Environment and Society - Green Energy and Technology (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/075/9781447170075.jpg?ming-yang-2016-energy-efficiency-benefits-for-environment-and-society-green-energy-and-technology-pocketbok&class=scaled&v=1605785886)
![Cover for Longbing Cao · Metasynthetic Computing and Engineering of Complex Systems - Advanced Information and Knowledge Processing (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/624/9781447170624.jpg?longbing-cao-2016-metasynthetic-computing-and-engineering-of-complex-systems-advanced-information-and-knowledge-processing-pocketbok&class=scaled&v=1545149134)
![Cover for Air Pollution and Health Effects - Molecular and Integrative Toxicology (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/921/9781447170921.jpg?2016-air-pollution-and-health-effects-molecular-and-integrative-toxicology-pocketbok&class=scaled&v=1583919153)
![Cover for Hong Cheng · Sparse Representation, Modeling and Learning in Visual Recognition: Theory, Algorithms and Applications - Advances in Computer Vision and Pattern Recognition (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/512/9781447172512.jpg?hong-cheng-2016-sparse-representation-modeling-and-learning-in-visual-recognition-theory-algorithms-and-applications-advances-in-computer-vision-and-pattern-recognition-pocketbok&class=scaled&v=1499119678)
![Cover for Creativity and Innovation Among Science and Art: A Discussion of the Two Cultures (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/013/9781447170013.jpg?2016-creativity-and-innovation-among-science-and-art-a-discussion-of-the-two-cultures-pocketbok&class=scaled&v=1563544342)
![Cover for Environmental Epigenetics - Molecular and Integrative Toxicology (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/581/9781447172581.jpg?2016-environmental-epigenetics-molecular-and-integrative-toxicology-pocketbok&class=scaled&v=1481113952)
![Cover for Bernardo Ruggeri · BioH2 & BioCH4 Through Anaerobic Digestion: From Research to Full-scale Applications - Green Energy and Technology (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/833/9781447169833.jpg?bernardo-ruggeri-2016-bioh2-bioch4-through-anaerobic-digestion-from-research-to-full-scale-applications-green-energy-and-technology-pocketbok&class=scaled&v=1553716432)
![Cover for Creativity in the Digital Age - Springer Series on Cultural Computing (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/475/9781447172475.jpg?2016-creativity-in-the-digital-age-springer-series-on-cultural-computing-pocketbok&class=scaled&v=1605447765)
![Cover for The Handbook of Service Innovation (Pocketbok) [Softcover reprint of the original 1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/062/9781447172062.jpg?2016-the-handbook-of-service-innovation-pocketbok&class=scaled&v=1487062915)
![Cover for Marina Axelson-Fisk · Comparative Gene Finding: Models, Algorithms and Implementation - Computational Biology (Pocketbok) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/751/9781447168751.jpg?marina-axelson-fisk-2016-comparative-gene-finding-models-algorithms-and-implementation-computational-biology-pocketbok&class=scaled&v=1496047970)
![Cover for Visual Heritage in the Digital Age - Springer Series on Cultural Computing (Pocketbok) [Softcover reprint of the original 1st ed. 2013 edition] (2016)](https://imusic.b-cdn.net/images/item/original/822/9781447170822.jpg?2016-visual-heritage-in-the-digital-age-springer-series-on-cultural-computing-pocketbok&class=scaled&v=1500208774)