Logic of Arithmetic /

"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-a...

Full description

Bibliographic Details

Main Author:	Felscher, Walter (Author)
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Published:	Boca Raton, FL : CRC Press, 2014.
Edition:	First edition.
Subjects:	Set Theory Set theory. Electronic books.
Online Access:	Connect to the full text of this electronic book