Książka Proof Theory Peter AczelHarold SimmonsStanley S. Wainer

Proof Theory

A selection of papers from the Leeds Proof Theory Programme 1990

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
221.94
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conferen...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2008
strony
320
EAN
9780521054164
ISBN
0521054168
Enbook ID
02020080
Waga
484
Wymiary
151 x 228 x 18

Pełny opis

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.

Możesz być zainteresowany

Proof Theory

Vincent F. Hendricks
422.90

Enchanted Season

Nalini Singh
40.92
85.64

2103

Jamie Greene
45.97
120.16

Queen Elizabeth

Edward Spencer Beesly
104.99

Rebellion

Phil Cantrill
153.02
65.71

Klienci, którzy kupili tę książkę, kupili również

93.13
97.89