Skip to content
Login
English
Ελληνικά
Language
EBSCO Discovery Service
Custom Search
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
The undecidable :
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
The undecidable : basic papers on undercidable propositions, unsolvable problems and computable functions
Saved in:
Bibliographic Details
Other Authors:
Davis, Martin, 1928-
(Editor)
Format:
Book
Language:
English
Published:
Hewlett :
Raven,
1965.
Subjects:
Recursive functions.
Gödel's theorem.
Turing machines.
Unsolvability (Mathematical logic)
Computable functions.
Tags:
Add Tag
No Tags, Be the first to tag this record!
Holdings
Description
Comments
Similar Items
Staff View
Description
Physical Description:
440 σ. ; 24 εκ.
Bibliography:
Περιέχει ευρετήριο.
Similar Items
Degrees of unsolvability
by: Sacks, Gerald E.
Published: (1966)
A decision method for elemantary algebra and goemetry
by: Tarski, Alfred
Published: (1951)
Minimal degrees of unsolvability and the full approximation construction
by: Epstein, Richard L. 1947-
Published: (1975)
Algorithmen, rekursive funktionen und formaler sprachen
by: Brauer, Wilfried, et al.
Published: (1968)
Το θεώρημα μη πληρότητας του Godel
by: Κολιώνης, Γιώργος - Λεωνίδας
Published: (2015)