| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
|
Bezhanishvili, Nick
|
|
|
174 |
1 |
p.
|
artikel
|
| 2 |
AF-algebras with lattice-ordered K 0: Logic and computation
|
Mundici, Daniele
|
|
|
174 |
1 |
p.
|
artikel
|
| 3 |
Bounded-depth Frege complexity of Tseitin formulas for all graphs
|
Galesi, Nicola
|
|
|
174 |
1 |
p.
|
artikel
|
| 4 |
Cohen-like first order structures
|
Kostana, Ziemowit
|
|
|
174 |
1 |
p.
|
artikel
|
| 5 |
Computational complexity of hybrid interval temporal logics
|
Wałęga, Przemysław Andrzej
|
|
|
174 |
1 |
p.
|
artikel
|
| 6 |
Constructive strong regularity and the extension property of a compactification
|
Curi, Giovanni
|
|
|
174 |
1 |
p.
|
artikel
|
| 7 |
Editorial Board
|
|
|
|
174 |
1 |
p.
|
artikel
|
| 8 |
Huge reflection
|
Bagaria, Joan
|
|
|
174 |
1 |
p.
|
artikel
|
| 9 |
Induction and Skolemization in saturation theorem proving
|
Hetzl, Stefan
|
|
|
174 |
1 |
p.
|
artikel
|
| 10 |
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
|
Gitik, Moti
|
|
|
174 |
1 |
p.
|
artikel
|
| 11 |
On the proof complexity of logics of bounded branching
|
Jeřábek, Emil
|
|
|
174 |
1 |
p.
|
artikel
|
| 12 |
Quantifier elimination on some pseudo-algebraically closed valued fields
|
Hong, Jizhan
|
|
|
174 |
1 |
p.
|
artikel
|
Tijdschrift beschrijving