
Proof Theory : A selection of papers from the Leeds Proof Theory Programme 1990
Innbundet
Produseres på bestilling
Leveringstid: 2-4 uker
Handlinger
Beskrivelse
Omtale
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Detaljer
-
Utgivelsesdato:
11.02.1993
-
ISBN:
9780521414135
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Litteraturtype:
-
Sider:
320
-
Høyde:
22.9 cm
-
Bredde:
15.2 cm


