Proof Theory
A selection of papers from the Leeds Proof Theory Programme 1990
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
827.60
lei
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conferen...
