Annals of Pure and Applied Logic
Title Titel
Annals of Pure and Applied Logic
e-ISSN
1873-2461
ISSN
0168-0072
Publisher Herausgeber
ELSEVIER
Publisher's Address Herausgeber Adresse
RADARWEG 29a, AMSTERDAM, Netherlands, 1043 NX
Listed in SCI Aufgelistet im SCI
Peer reviewed Begutachtet
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel | CERES in higher-order logic | Article Artikel | 2011 |