Showing
1 - 7
results of
7
for search '
'
Skip to content
Login
English
Ελληνικά
Language
EBSCO Discovery Service
Custom Search
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Suggested Topics:
Remove Filter
Computable functions
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Suggested Topics:
Remove Filter
Computable functions
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Computable functions
Data processing
2
Recursion theory
2
Cambridge LCF (Computer system)
1
Congresses
1
Formal languages
1
Gödel's theorem
1
Logic, Symbolic and mathematical
1
Recursive functions
1
Turing machines
1
Unsolvability (Mathematical logic)
1
Showing
1 - 7
results of
7
for search '
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
The undecidable :
Published 1965
Book
Save to List
Saved in:
2
Mathematical logic and computability
by
Keisler, H. Jerome
Published 1996
Book
Save to List
Saved in:
3
Logic and computation :
by
Paulson, Lawrence C.
Published 1987
Book
Save to List
Saved in:
4
Εισαγωγή στην υπολογιστική
by
Τουρλάκης, Γιώργος
Published 1994
Book
Save to List
Saved in:
5
Computability Theory :
by
Dunne, Paul E.
Published 1991
Book
Save to List
Saved in:
6
Logic and computation :
Published 1990
Conference Proceeding
Book
Save to List
Saved in:
7
Computability :
by
Cutland, Nigel
Published 1980
Book
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Institution
Aegean
7 results
7
Library
SAMOS
7 results
7
LESVOS
1 results
1
RHODES
1 results
1
SYROS
1 results
1
Format
Book
7 results
7
Conference Proceeding
1 results
1
Call Number
500 - Natural sciences and mathematics
5 results
5
000 - Computer science, information, general works
2 results
2
Author
Cutland, Nigel
1 results
1
Davis, Martin, 1928-
1 results
1
Dunne, Paul E.
1 results
1
Keisler, H. Jerome
1 results
1
Paulson, Lawrence C.
1 results
1
Robbin, Joel W.
1 results
1
Sieg, Wilfried, 1945-
1 results
1
Workshop on Logic and Computation Carnegie Mellon University
1 results
1
Τουρλάκης, Γιώργος
1 results
1
see all…
Language
English
6 results
6
Greek
1 results
1
Year of Publication
From:
To: