Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Proof Theory

A selection of papers from the Leeds Proof Theory Programme 1990

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Proof Theory Peter AczelHarold SimmonsStanley S. Wainer
Libristo-code: 02030059
Uitgeverij Cambridge University Press, februari 1993
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conferen... Volledige beschrijving
? points 375 b
154.94 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Dobry lęk Wendy Suzuki / Boek Gebonden (paperback)
common.buy 13.63 €
Żeglarz jachtowy i jachtowy sternik morski. Podręcznik zgodny z programem szkolenia PZŻ Andrzej Kolaszewski / Boek Gebonden (harde band)
common.buy 24.03 €
Christus vor dem Hohen Rat Judith Becker / Boek Gebonden (harde band)
common.buy 41.00 €
Anarchia, stato e utopia Robert Nozick / Boek Gebonden (paperback)
common.buy 30.09 €
TOP
Guns N'Roses collegium / Boek Gebonden (paperback)
common.buy 7.16 €
Le Blé en herbe Colette / Boek Gebonden (paperback)
common.buy 5.65 €
Administración de alimentos y tratamientos a personas dependientes en el domicilio MUÑOZ SANCHEZ / Boek Gebonden (paperback)
common.buy 26.86 €
Vollkommene Meditation Claudia Callies / Boek Gebonden (harde band)
common.buy 19.08 €
Solární baroni Vrazi v taláru Alena Vitásková / Boek Gebonden (harde band)
common.buy 10.70 €
Lia und die Erbsen oder Was ist Krebs? - Version "Mutter hat Krebs" Urs Richle / Boek Gebonden (paperback)
common.buy 17.06 €
小兔萌萌和她的六个妈妈: Rubbit RongRong and her Six Mothers Li Hongmei / Boek Gebonden (paperback)
common.buy 42.41 €
Lavinia George Sand / Boek Gebonden (paperback)
common.buy 13.02 €
M. Le Comte Gabriel Desvergers de Sanois, Ancien Premier Page de Napoleon Ier, Ancien Officier Louis Tisseron / Boek Gebonden (paperback)
common.buy 13.12 €
Qwirkle, Travel Susan McKinley Ross / Spel/speelgoed Spel
common.buy 19.89 €
Kita aktiv "Projektmappe Schmetterlinge" Nicole Weigand / Boek Blad
common.buy 17.16 €
Quartiersforschung Olaf Schnur / Boek Gebonden (paperback)
common.buy 62.52 €
Sportvereine als Betreiber von Sportstatten. Konzepte und Perspektiven Katrin Biedermann / Boek Gebonden (paperback)
common.buy 34.33 €
Aufgaben-Handbuch, Deutsch als Fremdsprache Ulrich Häussermann / Boek Gebonden (paperback)
common.buy 23.73 €
Angststörungen bei Kindern und Jugendlichen Hans Hopf / Boek Gebonden (paperback)
common.buy 26.76 €
Logistiknetzwerke Richard Vahrenkamp / Boek Gebonden (paperback)
common.buy 33.12 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Proof Theory
Auteur Peter AczelHarold SimmonsStanley S. Wainer
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1993
Aantal pagina's 320
EAN 9780521414135
ISBN 052141413X
Libristo-code 02030059
Uitgeverij Cambridge University Press
Gewicht 602
Afmetingen 152 x 229 x 22

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Mobile Application Penetration Testing Vijay Kumar Velu / Boek Gebonden (paperback)
common.buy 56.15 €
Who Wins-Loses. [A Novel.] Sophia Mary Locke / Boek Gebonden (paperback)
common.buy 25.14 €
Zelenooka Inna Moore / Boek Gebonden (paperback)
common.buy 15.65 €
Writing Women of the Fin de Siecle Adrienne E. Gavin / Boek Gebonden (paperback)
common.buy 53.22 €
Murder After Christmas Rupert Latimer / Boek Gebonden (paperback)
common.buy 9.69 €
Cock A Doodle Doo to Macbeth: A Collection of Original Poems Harvey Sagar / Boek Gebonden (paperback)
common.buy 8.58 €
Voordelig
Easy Colouring Book for Adults: Floral Design Colouring Book: Adult Colouring Book with 50 Basic, Simple and Bold Flower Patterns and Motifs for Begin Sujatha Lalgudi / Boek Gebonden (paperback)
common.buy 0.70 €
A Reason To Kill E K Knef / Boek Gebonden (paperback)
common.buy 14.84 €
Causes of Industrial Disorder Ian Maitland / E-book Adobe ePub DRM
common.buy 56.15 €
Best Practices in Early Literacy Instruction Diane M. Barone / E-book Adobe ePub DRM
common.buy 57.57 €
Animal Spirits with Chinese Characteristics Mark A DeWeaver / Boek Gebonden (harde band)
common.buy 114.33 €
The World I Live in Helen Keller / Boek Gebonden (paperback)
common.buy 16.56 €
Money and Trade in Our World Shelly Buchanan / Boek Gebonden (paperback)
common.buy 10.19 €
History of the Arab Invasions: The Conquest of the Lands al-Baladhuri Ahmad b. Yahya al-Baladhuri / E-book Adobe ePub DRM
common.buy 50.60 €
Wonderful World of Friends Darrell A Roberts / Boek Gebonden (paperback)
common.buy 15.55 €
Persephone Made Me Do It: Volume 3 MATEER TRISTA / Boek Gebonden (paperback)
common.buy 13.53 €
Ancestors for the Pigs Sarah M Nelson / Boek Gebonden (harde band)
common.buy 46.56 €
Incarnation and Imagination Darby Kathleen Ray / Boek Gebonden (paperback)
common.buy 25.44 €
Journal of a Residence in India, Etc. - Scholar's Choice Edition Maria Graham Callcott / Boek Gebonden (paperback)
common.buy 23.02 €
Approximation of Eigen Values of Ordinary Differential Operators Kishor J. Shinde / Boek Gebonden (paperback)
common.buy 35.65 €
17th Century Chinese Paintings from the Tsao Family Collection Stephen Little / Boek Gebonden (harde band)
common.buy 111.71 €
Chitosan Samuel P Davis / Boek Gebonden (harde band)
common.buy 355.45 €
Integrated Regional Risk Assessment Adrian V. Gheorghe / Boek Boek
common.buy 225.55 €
Anxiety, depression and heart surgery Débora D`Agostini Jorge Lisboa / Boek Gebonden (paperback)
common.buy 44.43 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?