cover image

Recursive function theory and logic / Ann Yasuhara.


New York : Academic Press, 1971.
ISBN 9780127689500, 0127689508

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 248.5 .Y36 Off-site
Request
American
WRLC Shared Collections Facility
QA248.5 .Y36 Off-site
Request
UDC
Van Ness stacks
QA248.5 .Y36 Request
WRLC Shared Collections Facility
QA248.5 .Y36 Off-site
Request
George Mason
Fenwick stacks
QA248.5.Y3 R4 Available Request
Georgetown
Off-Campus Shelving
QA248.5 .Y36 Available Request
Howard
Founders Library stacks
QA248.5 Y36 Available Request
Founders Library stacks
QA248.5 Y36 Available Request
Subjects Fonctions récursives.
Logic, Symbolic and mathematical.
Logik.
Logique symbolique et mathématique.
Mathematische Logik.
Recursive functions.
Rekursive Funktion.
Theorie.
automate fini.
axiome Péano.
calcul propositionnel.
fonction récursive.
logique.
machine Turing.
système Thue.
système langage.
théorème déduction.
Series Computer science and applied mathematics.
Description xv, 338 pages : illustrations ; 24 cm.
Copyright Date 1971.
Notes Includes bibliographical references (pages 321-326) and index.
Also issued online.
Contents pt. I. Recursive function theory. Turing machines -- Semi-Thue and Thue systems -- Enumerations and Gödel numbering -- Recursive functions -- Equivalence of recursive and Turing-computable functions -- Inside recursive functions -- Recursively enumerable sets -- Recursive and recursively enumerable relations -- part II. Mathematical logic. The propositional calculus as an example -- Introduction to first-order languages and relational systems -- First-order theories without equality -- First-order theories with equality -- Herbrand's theorem -- Decidable and undecidable theories.
Network Numbers (OCoLC)216969
(OCoLC)ocm00216969
WorldCat Search OCLC WorldCat
WorldCat Identities Yasuhara, Ann.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks