Recomienda este artículo a tus amigos:
Introduction to Mathematical Logic - The Wadsworth & Brooks / Cole Mathematics Series Elliot Mendelsohn Softcover reprint of the original 1st ed. 1987 edition
Precio
$ 55,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 29 de jun. - 10 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Introduction to Mathematical Logic - The Wadsworth & Brooks / Cole Mathematics Series
Elliot Mendelsohn
Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice's Theorem. (3) In Chapter 2, Quantification Theory, Henkin's proof of the completeness theorem has been postponed until the reader has gained more experience in proof techniques.
342 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 13 de abril de 2012 |
| ISBN13 | 9781461572909 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 342 |
| Dimensiones | 170 × 244 × 19 mm · 566 g |
| Lengua | Inglés |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Functional Disulphide Bonds: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781071651575.jpg?2026-functional-disulphide-bonds-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775139165)
![Cover for Targeting Enzymes for Pharmaceutical Development: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/896/9781071651896.jpg?2026-targeting-enzymes-for-pharmaceutical-development-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775080745)
![Cover for Collagen: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/933/9781071651933.jpg?2026-collagen-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775081440)
![Cover for In Situ Hybridization Protocols - Methods in Molecular Biology (Hardcover Book) [Sixth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/718/9781071652718.jpg?2026-in-situ-hybridization-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1778115542)
![Cover for Expression, Purification, and Structural Biology of Membrane Proteins - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/858/9781071651858.jpg?2026-expression-purification-and-structural-biology-of-membrane-proteins-methods-in-molecular-biology-hardcover-book&class=scaled&v=1777954830)
![Cover for Enzyme Stabilization and Immobilization: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/698/9781071651698.jpg?2026-enzyme-stabilization-and-immobilization-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1775079239)
![Cover for Lipid-Protein Interactions: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/530/9781071650530.jpg?2026-lipid-protein-interactions-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450253)
![Cover for Detection and Quantification of Bacteria, Yeast, Viruses, and Protozoan in Foods and Freshwater - Methods and Protocols in Food Science (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/639/9781071650639.jpg?2026-detection-and-quantification-of-bacteria-yeast-viruses-and-protozoan-in-foods-and-freshwater-methods-and-protocols-in-food-science-hardcover-book&class=scaled&v=1774450462)
![Cover for Circulating Tumor Cells: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/493/9781071650493.jpg?2026-circulating-tumor-cells-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450137)
![Cover for Antibody Engineering: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/400/9781071650400.jpg?2026-antibody-engineering-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774358267)
![Cover for Mouse Embryogenesis: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/254/9781071651254.jpg?2026-mouse-embryogenesis-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450359)
![Cover for Biofuels from Algae: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/301/9781071650301.jpg?2026-biofuels-from-algae-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1774450546)