Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch. N� de r�f. du vendeur 9781461266198

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Handbook of Logic and Proof Techniques for Computer Science

Krantz, Steven G. G.

Edit� par Birkh�user, 2012

ISBN 10 : 146126619X ISBN 13 : 9781461266198

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9781461266198_new

Contacter le vendeur

Acheter neuf

EUR 62,25

Autre devise

Frais de port : EUR 14,25

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Handbook of Logic and Proof Techniques for Computer Science

Steven G. Krantz

Edit� par Springer-Verlag New York Inc., 2012

ISBN 10 : 146126619X ISBN 13 : 9781461266198

Neuf Paperback / softback

impression � la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 411. N� de r�f. du vendeur C9781461266198

Contacter le vendeur

Acheter neuf

EUR 68,71

Autre devise

Frais de port : EUR 12,92

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Handbook of Logic and Proof Techniques for Computer Science

Steven G. Krantz

Edit� par Birkh�user Boston, 2012

ISBN 10 : 146126619X ISBN 13 : 9781461266198

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9781461266198

Contacter le vendeur

Acheter neuf

EUR 56,98

Autre devise

Frais de port : EUR 30,05

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Handbook of Logic and Proof Techniques for Computer Science

Krantz, Steven G.

Edit� par Birkhauser 2012-10, 2012

ISBN 10 : 146126619X ISBN 13 : 9781461266198

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9781461266198

Contacter le vendeur

Acheter neuf

EUR 68,97

Autre devise

Frais de port : EUR 18,42

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Handbook of Logic and Proof Techniques for Computer Science

Steven G. Krantz

Edit� par Birkh�user, 2012

ISBN 10 : 146126619X ISBN 13 : 9781461266198

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. reprint edition. 245 pages. 9.00x5.75x0.50 inches. In Stock. N� de r�f. du vendeur x-146126619X

Contacter le vendeur

Acheter neuf

EUR 80,75

Autre devise

Frais de port : EUR 11,89

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Handbook of Logic and Proof Techniques for Computer Science

Krantz Steven G.

Edit� par Springer, 2012

ISBN 10 : 146126619X ISBN 13 : 9781461266198

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Print on Demand pp. 268 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N� de r�f. du vendeur 94878823

Contacter le vendeur