Artículos relacionados a Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Felscher, Walter
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 86,65
EUR 17,09 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 74,28
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
Imagen del vendedor
Felscher, W: Logic of Arithmetic
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 594579387
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Arithmetic
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 312 pages. 9.02x5.98x0.67 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __0367398575
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic of Arithmetic (Lectures on Mathematical Logic)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 312. Nº de ref. del artículo: 379604474
Cantidad disponible: 3 disponibles
Imagen de archivo
Logic of Arithmetic
Publicado por
Taylor & Francis Ltd, 2019
ISBN 10: 0367398575
ISBN 13: 9780367398576
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 580. Nº de ref. del artículo: B9780367398576
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic of Arithmetic (Lectures on Mathematical Logic)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780367398576_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Arithmetic
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: 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 ref. del artículo: L0-9780367398576
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Arithmetic
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780367398576
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Arithmetic (Lectures on Mathematical Logic)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 312. Nº de ref. del artículo: 26383250981
Cantidad disponible: 3 disponibles
Imagen del vendedor
Logic of Arithmetic
Publicado por
CRC Press, 2019
ISBN 10: 0367398575
ISBN 13: 9780367398576
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 37659200
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic of Arithmetic
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 37659200-n
Cantidad disponible: Más de 20 disponibles