Toggle navigation
Search
Browse
EKT item types
Institutions
Collections
Interoperability
Info
The project
Help
For institutions
Contribute
Publication Requirements
Expression of Interest Form
Contact
ΕΛ
•
ΕΝ
In all fields
Subject
Type
Location
Title
Time
Creator/contributor
×
+
Search
Clear
Help
Godel's Incompleteness Theorems
This item is provided by the institution :
Hellenic Academic Libraries Link
Repository :
Kallipos Repository
see the original item page
in the repository's web site and access all digital files if the item
*
share
Semantic enrichment by EKT
ΕΚΤ item type
Chapter
(EN)
EKT year
2016
(EN)
EKT historical period
Title
Τα Θεωρήματα μη πληρότητας του Gödel
Godel's Incompleteness Theorems
Creator
Κολέτσος, Γεώργιος
Koletsos, Georgios
Type
7
Subject
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ
Provider
Hellenic Academic Libraries Link
Repository / collection
Kallipos Repository
Subcollections
Επιστήμες Μηχανικών και Πληροφορική
Κάλλιπος
Language
Greek
Issued
2016-02-04
Identifier
http://localhost:8080/jspui/handle/11419/2304
Created
2016-02-04T13:03:13Z
2021-07-09T15:09:48Z
*
Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)
×
×
Βοηθείστε μας να κάνουμε καλύτερο το
OpenArchives
.gr
.
Πάρτε μέρος στη σύντομη έρευνα!