Metamathematics, machines, and Godel's proof /
Κύριος συγγραφέας: | Shankar, N. (συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge ; New York :
Cambridge University Press,
1997, c1994.
|
Σειρά: | Cambridge tracts in theoretical computer science
v. 38 |
Θέματα: |
Παρόμοια τεκμήρια
-
Το αίτημα της ελάχιστης αντίφασης μια σύμβαση επικοινωνιακής συνέπειας με εφαρμογή στη φιλοσοφία την επιστήμη και την πολιτική
ανά: Νασίκας, Αθανάσιος Αν
Έκδοση: (1997) -
Godel's incompleteness theorems
ανά: Smullyan, Raymond M.
Έκδοση: (1992) -
Mathematical logic and its applications /
Έκδοση: (1987) -
Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
ανά: Στεφανέας, Πέτρος Σ.
Έκδοση: (2001) -
Introduction to metamathematics
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1971)