Solvable cases of the decision problem.

By:

Ackermann, W. (Wilhelm), 1896-1962

Contributor(s):

ScienceDirect eBooks

Series: Studies in logic and the foundations of mathematics1954Description: 1 online resource (114 pages)Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9780444533807
044453380X

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Solvable cases of the decision problem.LOC classification:

BC135 .A3

Online resources:

Click here to access online

Contents:

Validity and statisfiability in finite domains -- Decision proglem -- Solution of the decision problem for well-formed formulas only monadic predicate variables -- Some general theorems about the validity of formulas of the predicate calculus of first order including equality -- Solution of the decision problem for Wffs with special prefixes -- Further classes of prefixes for which the decision problem can be solved -- General remarks about further investigations -- Decision problem for Wffs with functional variables.

Action note:

digitized 2010 HathiTrust Digital Library committed to preserve

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 9 )

No physical items for this record

Includes bibliographical references.

Print version record.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Elsevier ScienceDirect All Books