|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Aletheia in Greek thought until Aristotle |
Woleński, Jan |
2004 |
127 | 1-3 |
p. 339-360 22 p. |
artikel |
|
| 2 | Author Index |
2004 |
127 | 1-3 |
p. 361- 1 p. |
artikel |
||
| 3 | Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g |
Surma, Stan J. |
2004 |
127 | 1-3 |
p. 229-242 14 p. |
artikel |
|
| 4 | Boolean algebras arising from information systems |
Düntsch, Ivo |
2004 |
127 | 1-3 |
p. 77-98 22 p. |
artikel |
|
| 5 | Computational complexity of the semantics of some natural language constructions |
Mostowski, Marcin |
2004 |
127 | 1-3 |
p. 219-227 9 p. |
artikel |
|
| 6 | Contents (Special Issue) |
2004 |
127 | 1-3 |
p. vii-viii nvt p. |
artikel |
||
| 7 | Dynamic extensions of arrow logic |
Balbiani, Philippe |
2004 |
127 | 1-3 |
p. 1-15 15 p. |
artikel |
|
| 8 | Editorial Board Page |
2004 |
127 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 9 | Finite, integral, and finite-dimensional relation algebras: a brief history |
Maddux, Roger D. |
2004 |
127 | 1-3 |
p. 117-130 14 p. |
artikel |
|
| 10 | First-order intensional logic |
Fitting, Melvin |
2004 |
127 | 1-3 |
p. 171-193 23 p. |
artikel |
|
| 11 | Foundations for the formalization of metamathematics and axiomatizations of consequence theories |
Wybraniec-Skardowska, Urszula |
2004 |
127 | 1-3 |
p. 243-266 24 p. |
artikel |
|
| 12 | Fregean logics |
Czelakowski, J. |
2004 |
127 | 1-3 |
p. 17-76 60 p. |
artikel |
|
| 13 | Gödel on Tarski |
Krajewski, Stanisław |
2004 |
127 | 1-3 |
p. 303-323 21 p. |
artikel |
|
| 14 | Intuitionistic logic and modality via topology |
Esakia, Leo |
2004 |
127 | 1-3 |
p. 155-170 16 p. |
artikel |
|
| 15 | Leśniewski's early Liar, Tarski and natural language |
Betti, Arianna |
2004 |
127 | 1-3 |
p. 267-287 21 p. |
artikel |
|
| 16 | Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green |
McNulty, George F. |
2004 |
127 | 1-3 |
p. 131-153 23 p. |
artikel |
|
| 17 | On the Warsaw interactions of logic and mathematics in the years 1919–1939 |
Duda, Roman |
2004 |
127 | 1-3 |
p. 289-301 13 p. |
artikel |
|
| 18 | Philosophical reflection on mathematics in Poland in the interwar period |
Murawski, Roman |
2004 |
127 | 1-3 |
p. 325-337 13 p. |
artikel |
|
| 19 | Ternary relations and relevant semantics |
Meyer, Robert K. |
2004 |
127 | 1-3 |
p. 195-217 23 p. |
artikel |
|
| 20 | Unification, finite duality and projectivity in varieties of Heyting algebras |
Ghilardi, Silvio |
2004 |
127 | 1-3 |
p. 99-115 17 p. |
artikel |
20 gevonden resultaten