Bibliothèque de L'IMIST/CNRST catalogue › Détails pour : Solvable cases of the decision problem.

Solvable cases of the decision problem.

par Ackermann, W. Collection : Studies in logic and the foundations of mathematics Détails physiques : 1 online resource (114 pages) ISBN :9780444533807; 044453380X.

Sujet(s) : Logic, Symbolic and mathematical.

| Logique symbolique et mathématique.

| Prise de décision.

| Electronic books.

| Logic, Symbolic and mathematical.

Ressources en ligne :

http://www.sciencedirect.com/science/book/9780444533807

Tags de cette bibliothèque : Pas de tags pour ce titre. Connectez-vous pour ajouter des tags.

Exemplaires ( 0 )
Notes
Commentaires ( 0 )

Exemplaires : http://www.sciencedirect.com/science/book/9780444533807

Includes bibliographical references.

Description based on print version record.

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.

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

Il n'y a pas de commentaire pour ce document.

pour proposer un commentaire.