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
Paga fácilmente con tarjeta, Klarna, Apple Pay o Google Pay. ¿No estás contento? Siempre tienes 14 días de garantía de devolución. Lee más en nuestros términos. Si tienes preguntas, escríbenos a hello@memmo.org.
Memmo hace que estudiar sea más fácil, estés donde estés. Aquí tienes tus libros de texto y herramientas de estudio inteligentes en un solo lugar: resúmenes, quizzes, podcasts y flashcards. Y también a Ted, tu compañero de estudio que responde a todo lo que te preguntes. Más de 50 000 estudiantes ya estudian aquí. Está hecho para que aprendas más rápido y te estreses menos.
También te podría gustar
Comprar el libro0