LOGIC OF ARITHMETIC
ebook

LOGIC OF ARITHMETIC (ebook)

WALTER FELSCHER

$1,800.00
IVA incluido
Editorial:
CRC PRESS
Materia
MATEMATICAS
ISBN:
9781040190951
Formato:
Epublication content package
Idioma:
Inglés
DRM
Si
$1,800.00
IVA incluido
Comprar
Ayuda ebook
Añadir a favoritos
Enviar a un amigo

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 alg

Otros libros del autor

  • LECTURES ON MATHEMATICAL LOGIC, VOLUME II
    ebook
    LECTURES ON MATHEMATICAL LOGIC, VOLUME II
    WALTER FELSCHER
    In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them ...

    $1,800.00