nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A canonical hidden-variable space
|
Brandenburger, Adam |
|
2018 |
169 |
12 |
p. 1295-1302 |
artikel |
2 |
A cubical model of homotopy type theory
|
Awodey, Steve |
|
2018 |
169 |
12 |
p. 1270-1294 |
artikel |
3 |
Atomic polymorphism and the existence property
|
Ferreira, Gilda |
|
2018 |
169 |
12 |
p. 1303-1316 |
artikel |
4 |
Binary simple homogeneous structures
|
Koponen, Vera |
|
2018 |
169 |
12 |
p. 1335-1368 |
artikel |
5 |
Cut-elimination for ω 1
|
Arai, Toshiyasu |
|
2018 |
169 |
12 |
p. 1246-1269 |
artikel |
6 |
Editorial Board
|
|
|
2018 |
169 |
12 |
p. ii |
artikel |
7 |
Logical form, mathematical practice, and Frege's Begriffsschrift
|
Macbeth, Danielle |
|
2018 |
169 |
12 |
p. 1419-1436 |
artikel |
8 |
Multicomponent proof-theoretic method for proving interpolation properties
|
Kuznets, Roman |
|
2018 |
169 |
12 |
p. 1369-1418 |
artikel |
9 |
Preface
|
Hirvonen, Åsa |
|
2018 |
169 |
12 |
p. 1243-1245 |
artikel |
10 |
Virtual large cardinals
|
Gitman, Victoria |
|
2018 |
169 |
12 |
p. 1317-1334 |
artikel |
11 |
What we talk about when we talk about numbers
|
Pettigrew, Richard |
|
2018 |
169 |
12 |
p. 1437-1456 |
artikel |