Constructive order types /
| Main Author: | Crossley, John N. (συγγραφέας.) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam ; London :
North-Holland,
1969.
|
| Series: | Studies in logic and the foundations of mathematics
|
| Subjects: |
Similar Items
-
Extensional constructs in intensional type theory
by: Hofmann, Martin
Published: (1997) -
What is mathematical logic?
by: Crossley, John N.
Published: (1990) -
Categorical logic and type theory /
by: Jacobs, Bart
Published: (1999) -
First-order logic /
by: Smullyan, Raymond M.
Published: (1968) -
Lattices over orders /
by: Roggenkamp, Klaus W.
Published: (1970)