Annals of Pure and Applied Logic
Title Titel
Annals of Pure and Applied Logic
e-ISSN
1873-2461
ISSN
0168-0072
Publisher Herausgeber
ELSEVIER
Subject
Date issued
Fulltext
Results 1-1 of 1 (Search time: 0.003 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel | CERES in higher-order logic | Article Artikel  | 2011 |