Logic for Mathematicians
| Κύριος συγγραφέας: | Hamilton, A. G. (Συγγραφέας) |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge
Cambridge University Press
c1988
|
| Έκδοση: | rev. ed. |
| Θέματα: |
Παρόμοια τεκμήρια
-
Foundations of mathematical logic
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1977) -
Logic for mathematicians
ανά: Hamilton, E. G.
Έκδοση: (1988) -
Constructibility
ανά: Devlin, Keith J.
Έκδοση: (1984) -
Theory of Deductive Systems and Its Applications
ανά: Maslov, S. Y.
Έκδοση: (1987) -
Cornerstones of Undecidability
ανά: Rozenberg, Grzegorz, κ.ά.
Έκδοση: (1994)