|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An intensional fixed point theory over first order arithmetic |
Jäger, Gerhard |
2004 |
128 | 1-3 |
p. 197-213 17 p. |
article |
|
| 2 | Author Index |
2004 |
128 | 1-3 |
p. 301- 1 p. |
article |
||
| 3 | Concept lattices and order in fuzzy logic |
Bĕlohlávek, Radim |
2004 |
128 | 1-3 |
p. 277-298 22 p. |
article |
|
| 4 | Editorial Board Page |
2004 |
128 | 1-3 |
p. ii- 1 p. |
article |
||
| 5 | Effective completeness theorems for modal logic |
Ganguli, Suman |
2004 |
128 | 1-3 |
p. 141-195 55 p. |
article |
|
| 6 | Erratum to “Applying, extending, and specializing pseudorecursiveness” |
Wells, Benjamin |
2004 |
128 | 1-3 |
p. 299- 1 p. |
article |
|
| 7 | On monadic MV-algebras |
Di Nola, Antonio |
2004 |
128 | 1-3 |
p. 125-139 15 p. |
article |
|
| 8 | Provability algebras and proof-theoretic ordinals, I |
Beklemishev, Lev D. |
2004 |
128 | 1-3 |
p. 103-123 21 p. |
article |
|
| 9 | Shrinking games and local formulas |
Keisler, H.Jerome |
2004 |
128 | 1-3 |
p. 215-225 11 p. |
article |
|
| 10 | Simple stable homogeneous expansions of Hilbert spaces |
Berenstein, Alexander |
2004 |
128 | 1-3 |
p. 75-101 27 p. |
article |
|
| 11 | Supercomplete extenders and type 1 mice: Part I |
Feng, Q. |
2004 |
128 | 1-3 |
p. 1-73 73 p. |
article |
|
| 12 | The guarded fragment with transitive guards |
Szwast, Wiesław |
2004 |
128 | 1-3 |
p. 227-276 50 p. |
article |
12 results found