
Proof Theory : A selection of papers from the Leeds Proof Theory Programme 1990
Heftet
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:
21.01.2008
-
ISBN:
9780521054164
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Litteraturtype:
-
Sider:
320
-
Høyde:
22.8 cm
-
Bredde:
15.1 cm


