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: Twarda
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
638.07
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 - Twarda
Data wydania
1993
strony
320
EAN
9780521414135
ISBN
052141413X
Enbook ID
02030059
Waga
602
Wymiary
152 x 229 x 22

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

231.41
66.97

Chitosan

Samuel P Davis
1 463.65
191.69
104.65
57.43
928.48

Anxiety, depression and heart surgery

Débora D`Agostini Jorge Lisboa
183.02

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

168.90

Guns N'Roses

collegium
29.39

Vollkommene Meditation

Claudia Callies
78.46

Dobry lęk

Wendy Suzuki
44.39
117.89
44.19

Qwirkle, Travel

Susan McKinley Ross
81.87
257.60
97.74

Logistiknetzwerke

Richard Vahrenkamp
136.29