|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Elimination problems in logic: a brief history |
Craig, William |
2008 |
164 | 3 |
p. 321-332 |
artikel |
|
| 2 | Harmonious logic: Craig’s interpolation theorem and its descendants |
Feferman, Solomon |
2008 |
164 | 3 |
p. 341-357 |
artikel |
|
| 3 | Interpolation in computing science: the semantics of modularization |
Renardel de Lavalette, Gerard R. |
2008 |
164 | 3 |
p. 437-450 |
artikel |
|
| 4 | Interpolation in non-classical logics |
D’Agostino, Giovanna |
2008 |
164 | 3 |
p. 421-435 |
artikel |
|
| 5 | Introduction: Interpolations—Essays in honor of William Craig |
Mancosu, Paolo |
2008 |
164 | 3 |
p. 313-319 |
artikel |
|
| 6 | Some remarks on the bearing of model theory on the theory of theories |
Demopoulos, William |
2008 |
164 | 3 |
p. 359-383 |
artikel |
|
| 7 | The Craig Interpolation Theorem in abstract model theory |
Väänänen, Jouko |
2008 |
164 | 3 |
p. 401-420 |
artikel |
|
| 8 | The many faces of interpolation |
Benthem, Johan van |
2008 |
164 | 3 |
p. 451-460 |
artikel |
|
| 9 | The road to two theorems of logic |
Craig, William |
2008 |
164 | 3 |
p. 333-339 |
artikel |
|
| 10 | Wissenschaftslogik: The role of logic in the philosophy of science |
Friedman, Michael |
2008 |
164 | 3 |
p. 385-400 |
artikel |
10 gevonden resultaten