Solvable cases of the decision problem.


Amsterdam, North-Holland Pub. Company, 1954.

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
BC 135 .A3 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .S8 v.17 v.17-21 Off-site
Request
Catholic
Mullen Library stacks
BC6.S9 A18 Available Request
Georgetown
Off-Campus Shelving
BC135 .A3 Available Request
Subjects Décidabilité (logique mathématique)
Entscheidungsproblem.
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Prädikatenkalkül.
Prise de décision.
problème décision.
théorème élimination.
validité
Series Studies in logic and the foundations of mathematics.
Description 114 pages ; 22 cm.
Copyright Date 1954.
Notes Includes bibliographical references.
Network Numbers (OCoLC)373064
(OCoLC)ocm00373064
WorldCat Search OCLC WorldCat
WorldCat Identities Ackermann, W. 1896-
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks