Introduction to metamathematics
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Kleene, Stephen Cole 1909- |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Groningen ; Amsterdam :
Wolters-Noorsdhoff pub. ; North-Holland pub.,
c1952
|
| Σειρά: | Bibliotheca mathematica ;
; 1 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Logic, semantics and metamathematics :
από: Tarski, Alfred
Δημοσίευση: (1983) -
Introduction to model theory and to the metamathematics of algebra
από: Robinson, Abraham, 1918-1974
Δημοσίευση: (1963) -
Metamathematics of first - order arithmetic
από: Hajek, Petr
Δημοσίευση: (1998) -
Mathematical logic
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1967) -
The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)