INVITED PAPERS PRESENTED AT THE CONFERENCE ON PROOF THEORY, PROVABILITY LOGIC, AND COMPUTATION - PREFACE

Authors
ARTEMOV S BOOLOS G ENGELER E FEFERMAN S JAGER G VISSER A
Citation
S. Artemov et al., INVITED PAPERS PRESENTED AT THE CONFERENCE ON PROOF THEORY, PROVABILITY LOGIC, AND COMPUTATION - PREFACE, Annals of pure and applied Logic, 75(1-2), 1995, pp. 1-1
Citations number
NO
Categorie Soggetti
Mathematics, Pure",Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
75
Issue
1-2
Year of publication
1995
Pages
1 - 1
Database
ISI
SICI code
0168-0072(1995)75:1-2<1:IPPATC>2.0.ZU;2-D