Articles liés à Lectures on Mathematical Logic: The Logic of Arithmetic...

Lectures on Mathematical Logic: The Logic of Arithmetic (003) - Couverture rigide

Felscher, Walter

 
9789056992682: Lectures on Mathematical Logic: The Logic of Arithmetic (003)
Couverture rigide
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Editeur : Taylor & Francis Ltd, 2000
Afficher les exemplaires de cette édition ISBN
 
 
Présentation de l'éditeur :
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurTaylor & Francis Ltd
  • Date d'édition2000
  • ISBN 10 9056992686
  • ISBN 13 9789056992682
  • ReliureRelié
  • Nombre de pages312

Acheter neuf

En savoir plus sur cette édition
9789056992682: Lectures on Mathematical Logic: The Logic of Arithmetic (003)
EUR 115,25

Autre devise

Frais de port : EUR 17,60
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Autres éditions populaires du même titre

9780367398576: Logic of Arithmetic

Edition présentée

ISBN 10 :  0367398575 ISBN 13 :  9780367398576
Editeur : Routledge, 2019
Couverture souple

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Walter Felscher
Edité par CRC Press 2000-05-30 (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : 5
Vendeur :
Chiron Media
(Wallingford, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : New. N° de réf. du vendeur 6666-TNFPD-9789056992682

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 115,25
Autre devise

Ajouter au panier

Frais de port : EUR 17,60
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Felscher, Walter
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : > 20
Vendeur :
Blackwell's
(London, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre hardback. Etat : New. Language: ENG. N° de réf. du vendeur 9789056992682

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 133,07
Autre devise

Ajouter au panier

Frais de port : EUR 5,28
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Walter Felscher
Edité par CRC Press (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
PBShop.store US
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9789056992682

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 156,38
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Walter Felscher
Edité par CRC Press (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9789056992682_lsuk

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 147,70
Autre devise

Ajouter au panier

Frais de port : EUR 11,72
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Felscher, Walter (Author)
Edité par G & B Science Pub (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : 1
impression à la demande
Vendeur :
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : Brand New. 1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __9056992686

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 156,67
Autre devise

Ajouter au panier

Frais de port : EUR 11,74
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Felscher, Walter
Edité par CRC Press (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : > 20
Vendeur :
California Books
(Miami, FL, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur I-9789056992682

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 171,87
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Walter Felscher
Edité par CRC Press (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
PBShop.store UK
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9789056992682

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 154,41
Autre devise

Ajouter au panier

Frais de port : EUR 29,36
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Felscher, Walter (Author)
Edité par G & B Science Pub (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : 2
Vendeur :
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : Brand New. 1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-9056992686

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 173,83
Autre devise

Ajouter au panier

Frais de port : EUR 11,74
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Walter Felscher
Edité par CRC Press (2000)
ISBN 10 : 9056992686 ISBN 13 : 9789056992682
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
moluna
(Greven, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Felscher, WalterFor propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which expre. N° de réf. du vendeur 599121787

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 145,75
Autre devise

Ajouter au panier

Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais