Constructive order types /
Κύριος συγγραφέας: | Crossley, John N. (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam ; London :
North-Holland,
1969.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
Extensional constructs in intensional type theory
ανά: Hofmann, Martin
Έκδοση: (1997) -
Categorical logic and type theory /
ανά: Jacobs, Bart
Έκδοση: (1999) -
What is mathematical logic?
ανά: Crossley, John N.
Έκδοση: (1990) -
First-order logic /
ανά: Smullyan, Raymond M.
Έκδοση: (1968) -
Lattices over orders /
ανά: Roggenkamp, Klaus W.
Έκδοση: (1970)