Theory of formal systems / Smullyan Raymond M.
Κύριος συγγραφέας: | Smullyan, Raymond M. (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Princeton, N.J. :
Princeton University Press,
1961.
|
Σειρά: | Annals of mathematics studies
47. |
Θέματα: |
Παρόμοια τεκμήρια
-
Degrees of unsolvability / Sacks Gerald E.
ανά: Sacks, Gerald E.
Έκδοση: (1963) -
Stochastic processes estimation, optimization, & analysis
ανά: Najim, K
Έκδοση: (2004) -
Γεννήτριες Συναρτήσεις
ανά: Tsichlas, Konstantinos, κ.ά.
Έκδοση: (2016) -
Θεωρητικό Υπόβαθρο
ανά: Tsichlas, Konstantinos, κ.ά.
Έκδοση: (2016) -
Επαγωγικός λογικός προγραμματισμός και αναδρομές
ανά: Δημητρόπουλος, Κωνσταντίνος
Έκδοση: (2018)