Načítá se...
Infinatary logic: In memoriam Carol Karp
| Další autoři: | Kueker, D W (Editor) |
|---|---|
| Médium: | Printed Book |
| Vydáno: |
Springer-Verlag, Berlin
1975
|
| Edice: | Lecture Notes in Mathematics, No.0492
|
| Témata: |
Podobné jednotky
-
Logic colloquium
Vydáno: (1975) -
Algebra and logic
Vydáno: (1975) -
First order categorical logic
Autor: Makkai, Michael
Vydáno: (1977) -
Computational complexity of logical theories
Autor: Ferrante, Jeanne
Vydáno: (1979) -
Conference in mathematical logic, London 70
Vydáno: (1972)