|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
23 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Barycentric Algebras |
Romanowska, Anna B. |
2008 |
81 | 1-3 |
p. 257-273 |
artikel |
|
| 2 | Andrzej Grzegorczyk: Logic and Philosophy |
Krajewski, Stanisław |
2008 |
81 | 1-3 |
p. 1-17 |
artikel |
|
| 3 | Andrzej Grzegorczyk's Contribution to Computer Science |
Salwicki, Andrzej |
2008 |
81 | 1-3 |
p. 315-323 |
artikel |
|
| 4 | An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant |
Švejdar, Vítězslav |
2008 |
81 | 1-3 |
p. 347-354 |
artikel |
|
| 5 | A Propositional Programming Environment for Linear Algebra |
Srebrny, Marian |
2008 |
81 | 1-3 |
p. 325-345 |
artikel |
|
| 6 | Compactness Properties for Stable Semantics of Logic Programs |
Marek, Victor W. |
2008 |
81 | 1-3 |
p. 211-239 |
artikel |
|
| 7 | Continuous Separation of Game Languages |
Arnold, André |
2008 |
81 | 1-3 |
p. 19-28 |
artikel |
|
| 8 | Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous |
Rybakov, Vladimir V. |
2008 |
81 | 1-3 |
p. 297-313 |
artikel |
|
| 9 | Did Leibniz and Newton Discover or Create the Calculus? |
Murawski, Roman |
2008 |
81 | 1-3 |
p. 249-256 |
artikel |
|
| 10 | Discrete Dualities for Heyting Algebras with Operators |
Orłowska, Ewa |
2008 |
81 | 1-3 |
p. 275-295 |
artikel |
|
| 11 | Finite Arithmetics |
Krynicki, Michał |
2008 |
81 | 1-3 |
p. 183-202 |
artikel |
|
| 12 | Induction Principles for Sets |
Czelakowski, Janusz |
2008 |
81 | 1-3 |
p. 97-122 |
artikel |
|
| 13 | Logic, Rationality and Psychologism |
Woleński, Jan |
2008 |
81 | 1-3 |
p. 355-365 |
artikel |
|
| 14 | Mathematical Fuzzy Logic and Natural Numbers |
Hájek, Petr |
2008 |
81 | 1-3 |
p. 155-163 |
artikel |
|
| 15 | Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas |
Gottwald, Siegfried |
2008 |
81 | 1-3 |
p. 123-137 |
artikel |
|
| 16 | Modal Logics for Region-based Theories of Space |
Balbiani, Philippe |
2008 |
81 | 1-3 |
p. 29-82 |
artikel |
|
| 17 | On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to 'Out-Gö del' the Mechanist |
Krajewski, Stanisław |
2008 |
81 | 1-3 |
p. 173-181 |
artikel |
|
| 18 | On Modal Grzegorczyk Logic |
Maksimova, Larisa |
2008 |
81 | 1-3 |
p. 203-210 |
artikel |
|
| 19 | On Some Uses of Nonstandard Models |
Kossak, Roman |
2008 |
81 | 1-3 |
p. 165-172 |
artikel |
|
| 20 | On the Additive Theory of Prime Numbers |
Cégielski, Patrick |
2008 |
81 | 1-3 |
p. 83-96 |
artikel |
|
| 21 | Pieri's Structures |
Gruszczyński, Rafał |
2008 |
81 | 1-3 |
p. 139-154 |
artikel |
|
| 22 | Potential Infinity and the Church Thesis |
Mostowski, Marcin |
2008 |
81 | 1-3 |
p. 241-248 |
artikel |
|
| 23 | Preface |
2008 |
81 | 1-3 |
p. i-iv |
artikel |
23 gevonden resultaten