|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
28 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algorithmic uses of the Feferman–Vaught Theorem |
Makowsky, J.A. |
2004 |
126 | 1-3 |
p. 159-213 55 p. |
artikel |
|
| 2 | Applying, extending, and specializing pseudorecursiveness |
Wells, Benjamin |
2004 |
126 | 1-3 |
p. 225-254 30 p. |
artikel |
|
| 3 | Author Index |
2004 |
126 | 1-3 |
p. 349-350 2 p. |
artikel |
||
| 4 | Computational inductive definability |
Kozen, Dexter |
2004 |
126 | 1-3 |
p. 139-148 10 p. |
artikel |
|
| 5 | Contents (Special Issue) |
2004 |
126 | 1-3 |
p. vii-viii nvt p. |
artikel |
||
| 6 | Decidability without mathematics |
Grzegorczyk, Andrzej |
2004 |
126 | 1-3 |
p. 309-312 4 p. |
artikel |
|
| 7 | Editorial |
Adamowicz, Zofia |
2004 |
126 | 1-3 |
p. 3-4 2 p. |
artikel |
|
| 8 | Editorial Board Page |
2004 |
126 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 9 | Free Boolean algebras and nowhere dense ultrafilters |
Błaszczyk, Aleksander |
2004 |
126 | 1-3 |
p. 287-292 6 p. |
artikel |
|
| 10 | Independence-friendly logic and axiomatic set theory |
Hintikka, Jaakko |
2004 |
126 | 1-3 |
p. 313-333 21 p. |
artikel |
|
| 11 | On hereditarily indecomposable Banach spaces |
Figiel, Tadeusz |
2004 |
126 | 1-3 |
p. 293-299 7 p. |
artikel |
|
| 12 | On Tarski's contribution to the additive measure theory and its consequences |
Benvenuti, P. |
2004 |
126 | 1-3 |
p. 281-286 6 p. |
artikel |
|
| 13 | On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) |
Mycielski, Jan |
2004 |
126 | 1-3 |
p. 215-224 10 p. |
artikel |
|
| 14 | Preface |
Nerode, Anil |
2004 |
126 | 1-3 |
p. 1-2 2 p. |
artikel |
|
| 15 | Preservation theorems and restricted consistency statements in bounded arithmetic |
Beckmann, Arnold |
2004 |
126 | 1-3 |
p. 255-280 26 p. |
artikel |
|
| 16 | Reexamination of Tarski's semantics |
Hiż, Henryk |
2004 |
126 | 1-3 |
p. 39-48 10 p. |
artikel |
|
| 17 | Set theoretical aspects of the Banach space l ∞/c 0 |
Grzech, Magdalena |
2004 |
126 | 1-3 |
p. 301-308 8 p. |
artikel |
|
| 18 | Tarski's conception of logic |
Feferman, Solomon |
2004 |
126 | 1-3 |
p. 5-13 9 p. |
artikel |
|
| 19 | Tarski's definition and truth-makers |
Niiniluoto, Ilkka |
2004 |
126 | 1-3 |
p. 57-76 20 p. |
artikel |
|
| 20 | Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic |
Addison, J.W. |
2004 |
126 | 1-3 |
p. 77-92 16 p. |
artikel |
|
| 21 | Tarski, truth and natural languages |
Fenstad, Jens Erik |
2004 |
126 | 1-3 |
p. 15-26 12 p. |
artikel |
|
| 22 | The incompleteness theorems after 70 years |
Kotlarski, Henryk |
2004 |
126 | 1-3 |
p. 125-138 14 p. |
artikel |
|
| 23 | The indefinability of truth in the “Wahrheitsbegriff” |
Gómez-Torrente, Mario |
2004 |
126 | 1-3 |
p. 27-37 11 p. |
artikel |
|
| 24 | The spectrum of maximal independent subsets of a Boolean algebra |
Monk, J.Donald |
2004 |
126 | 1-3 |
p. 335-348 14 p. |
artikel |
|
| 25 | Truth and definite truth |
Hyttinen, Tapani |
2004 |
126 | 1-3 |
p. 49-55 7 p. |
artikel |
|
| 26 | Undefinability of truth and nonstandard models |
Kossak, Roman |
2004 |
126 | 1-3 |
p. 115-123 9 p. |
artikel |
|
| 27 | What is the world of mathematics? |
Lambek, J. |
2004 |
126 | 1-3 |
p. 149-158 10 p. |
artikel |
|
| 28 | What languages have Tarski truth definitions? |
Hodges, Wilfrid |
2004 |
126 | 1-3 |
p. 93-113 21 p. |
artikel |
28 gevonden resultaten