Theory of formal systems
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Smullyan, Raymond M. |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Princeton :
Princeton University Press,
c1961
|
| Σειρά: | Annals of mathematics studies ;
; 47 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Formalized recursive functionals and formalized realizability
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1969) -
Foundations of mathematics :
από: Engeler, Erwin
Δημοσίευση: (1993) -
Recursive Function Theory
Δημοσίευση: (1962) -
Algorithmen, rekursive funktionen und formaler sprachen
από: Brauer, Wilfried, κ.ά.
Δημοσίευση: (1968) -
Introduction to model theory and to the metamathematics of algebra
από: Robinson, Abraham, 1918-1974
Δημοσίευση: (1963)