Proof-theoretical analysis of order relations
Artikel i vetenskaplig tidskrift, 2004
Författare
S. Negri
Helsingin Yliopisto
J. von Plato
Helsingin Yliopisto
Thierry Coquand
Göteborgs universitet
Archive for Mathematical Logic
0933-5846 (ISSN) 1432-0665 (eISSN)
Vol. 43 3 297-309Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/s00153-003-0209-8