Articles liés à Logic of Arithmetic
Synopsis
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Felscher, Walter
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 74,28
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Logic of Arithmetic
Image fournie par le vendeur
Felscher, W: Logic of Arithmetic
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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 594579387
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic of Arithmetic
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 312 pages. 9.02x5.98x0.67 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0367398575
Quantité disponible : 1 disponible(s)
Image d'archives
Logic of Arithmetic (Lectures on Mathematical Logic)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 312. N° de réf. du vendeur 379604474
Quantité disponible : 3 disponible(s)
Image d'archives
Logic of Arithmetic
Edité par
Taylor & Francis Ltd, 2019
ISBN 10 : 0367398575
ISBN 13 : 9780367398576
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. New copy - Usually dispatched within 4 working days. 580. N° de réf. du vendeur B9780367398576
Quantité disponible : 1 disponible(s)
Image d'archives
Logic of Arithmetic (Lectures on Mathematical Logic)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780367398576_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic of Arithmetic (Lectures on Mathematical Logic)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 312. N° de réf. du vendeur 26383250981
Quantité disponible : 3 disponible(s)
Image d'archives
Logic of Arithmetic
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780367398576
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic of Arithmetic
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. 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 L0-9780367398576
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic of Arithmetic
Edité par
CRC Press, 2019
ISBN 10 : 0367398575
ISBN 13 : 9780367398576
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 37659200
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic of Arithmetic
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 37659200-n
Quantité disponible : Plus de 20 disponibles