ISBN 10: 081764220X / ISBN 13: 9780817642204
Usato / Quantità: 0
Copie del libro da altre librerie
Mostra tutte le  copie di questo libro

Libro

Purtroppo questa copia non è più disponibile. Di seguito ti proponiamo una lista di copie simili.

Descrizione:

Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: PrefaceNotation and First-Order LogicSemantics and SyntaxAxiomatics and Formalism in MathematicsThe Axioms of Set TheoryElementary Set TheoryRecursive FunctionsThe Number SystemsMethods of Mathematical ProofThe Axiom of ChoiceProof TheoryCategory TheoryComplexity TheoryBoolean AlgebraThe Word ProblemList of Notation and LogicGlossary Terms from Mathematical and Sentential LogicA Guide to the LiteratureBibliographyIndex. Codice inventario libreria

Su questo libro:

Book ratings provided by GoodReads):
3,5 valutazione media
(2 valutazioni)

Riassunto:

Logic plays a central conceptual role in modern mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessible to all but the specialist. This new book is a resource that provides a quick introduction and review of the key topics in logic for the computer scientist, engineer, or mathematician.

Handbook of Logic and Proof Techniques for Computer Science presents the elements of modern logic, including many current topics, to the reader having only basic mathematical literacy. Computer scientists will find specific examples and important ideas such as axiomatics, recursion theory, decidability, independence, completeness, consistency, model theory, and P/NP completeness. The book contains definitions, examples and discussion of all of the key ideas in basic logic, but also makes a special effort to cut through the mathematical formalism, difficult notation, and esoteric terminology that is typical of modern mathematical logic. T

This handbook delivers cogent and self-contained introductions to critical advanced topics, including:

* Godel`s completeness and incompleteness theorems

* Methods of proof, cardinal and ordinal numbers, the continuum hypothesis, the axiom of choice, model theory, and number systems and their construction

* Extensive treatment of complexity theory and programming applications

* Applications to algorithms in Boolean algebra

* Discussion of set theory and applications of logic

The book is an excellent resource for the working mathematical scientist. The graduate student or professional in computer science and engineering or the systems scientist who needs to have a quick sketch of a key idea from logic will find it here in this self-contained, accessible, and easy-to-use reference.

Sinossi: Logic is, and should be, the core subject area of modern mathemat­ ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special­ ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by Jon Bar­ wise, is in point of fact a handbook written by logicians for other mathe­ maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. 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. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe­ matical literacy.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: $listing_disp.getBaseListing().getTitle()



Condizione libro: New

I migliori risultati di ricerca su AbeBooks

1.

Krantz, Steven G
Editore: Birkhäuser (2002)
ISBN 10: 081764220X ISBN 13: 9780817642204
Usato Rilegato Quantità: 1
Da
BookStore Independent
(SHERMAN OAKS, CA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Birkhäuser, 2002. Hardcover. Condizione libro: Used: Good. Codice libro della libreria 8738228

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 32,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,62
In U.S.A.
Destinazione, tempi e costi

2.

Steven G. Krantz
Editore: Birkhäuser (2002)
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Birkhäuser, 2002. Hardcover. Condizione libro: New. 2002. Codice libro della libreria DADAX081764220X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,08
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,71
In U.S.A.
Destinazione, tempi e costi

3.

KRANTZ, STEVEN G.
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Quantità: 10
Da
BooksForStudent
(West Bloomfield, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Book In Mint Condition. Shipping With Trackable Method. No APO/FPO Addresses Please. Codice libro della libreria 9780817642204NHS

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,89
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

4.

Steven G Krantz
Editore: Birkhäuser (2002)
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Birkhäuser, 2002. Hardcover. Condizione libro: New. book. Codice libro della libreria 081764220X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 39,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

5.

Steven G. Krantz
Editore: Birkhäuser Boston 2002-01-17 (2002)
ISBN 10: 081764220X ISBN 13: 9780817642204
Usato Rilegato Quantità: 1
Da
Lost Books
(AUSTIN, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Birkhäuser Boston 2002-01-17, 2002. Hardcover. Condizione libro: good. 1. 081764220X. Codice libro della libreria 509018

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 43,94
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,71
In U.S.A.
Destinazione, tempi e costi

6.

KRANTZ S.G.
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Quantità: 2
Da
Bookshub
(Karol Bagh, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. New. US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Codice libro della libreria ABE-190516-54197

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 48,15
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

7.

KRANTZ S.G.
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Quantità: 2
Da
EBOOKSTORE2010
(New Delhi, ND, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHAK54197

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 48,19
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

8.

Krantz, Steven G.
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Quantità: 3
Da
Basi6 International
(Irving, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Ships from multiple locations. FedEx or DHL 4-6 business days delivery to your doorstep. Codice libro della libreria 20JULY16APP-26776

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 50,81
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Krantz, Steven G.
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Quantità: 1
Da
firstbookstore
(New Delhi, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Codice libro della libreria AIND-75961

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 53,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

10.

Krantz, Steven G.
ISBN 10: 081764220X ISBN 13: 9780817642204
Nuovi Quantità: 1
Da
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Codice libro della libreria AUSBNEW-75961

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre 24 copie di questo libro

Vedi tutti i risultati per questo libro