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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Structural Proof Theory

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Structural Proof Theory Sara NegriJan von PlatoAarne Ranta
Libristo-code: 02020410
Uitgeverij Cambridge University Press, juli 2008
Structural proof theory is a branch of logic that studies the general structure and properties of lo... Volledige beschrijving
? points 150 b
62.08 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

portugiesischen Verbalperiphrasen und ihre deutschen Entsprechungen Hans Schemann / Boek Gebonden (harde band)
common.buy 119.30 €
Marci Terentii Varronis Libri Tres de Re Rustica... - Primary Source Edition Marcus Terentius Varro / Boek Gebonden (paperback)
common.buy 27.84 €
Siła Życiowa. Cztery sposoby dokonywania wewnętrznej transformacji i rozpalania swojego potencjału Barry Michels / Boek Gebonden (paperback)
common.buy 11.13 €
Na wsi. Co słychać? Książka dźwiękowa z 10 przyciskami Bogusław Michalec / Boek Gebonden (harde band)
common.buy 14.07 €
Potměšilá smrt Stanislav Češka / Boek Blad
common.buy 10.32 €
The Prison Healer - Tome 1 Lynette Noni / Boek Gebonden (paperback)
common.buy 11.74 €
La Liga / La Liga: Official Book of the 2021-2022 Season LA LIGA / Boek Gebonden (harde band)
common.buy 22.68 €
Puzzle Przed i po / Spel/speelgoed Spel
common.buy 7.08 €
TOP
Uwolnij się od toksycznych emocji Leah Guy / Boek Gebonden (paperback)
common.buy 8.90 €
Bridgerton - Penelopes pikantes Geheimnis Petra Lingsminat / Boek Gebonden (paperback)
common.buy 11.13 €
Einflusse der neuen Medientechnologien Neder Cristiane Neder / Boek Gebonden (paperback)
common.buy 46.78 €
Podstawy rachunkowosci Zbior zadan z rozwiazaniami Irena Olchowicz / Boek Gebonden (paperback)
common.buy 15.08 €
Jídlo v životě dítěte a adolescenta Slávka Fraňková / Boek Gebonden (paperback)
common.buy 10.93 €
DE TRINITATE DE AGOSTINHO COM COMENTARIOS Escriba de Cristo / E-book Adobe ePub DRM
common.buy 4.95 €
Le manioc: Antoni Randrianantenaina / Boek Gebonden (paperback)
common.buy 35.74 €

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

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 Structural Proof Theory
Auteur Sara NegriJan von PlatoAarne Ranta
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 276
EAN 9780521068420
ISBN 0521068428
Libristo-code 02020410
Uitgeverij Cambridge University Press
Gewicht 416
Afmetingen 229 x 155 x 18

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica
Wiskunde en wetenschap > Wetenschap: algemene onderwerpen > Wetenschapsfilosofie
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

The Dynasty Of Theodosius: Or Eighty Years' Struggle With The Barbarians Thomas Hodgkin / Boek Gebonden (paperback)
common.buy 28.86 €
Brief History of Indonesia Tim Hannigan / Boek Gebonden (paperback)
common.buy 13.56 €
Hubble Cosmos David H. Devorkin / Boek Gebonden (harde band)
common.buy 40.50 €
TOP
The Way of Kings Brandon Sanderson / Boek Gebonden (paperback)
common.buy 14.88 €
TOP
Writing Subtext Linda Seger / Boek Gebonden (paperback)
common.buy 14.98 €
Triumphs of Temper William Hayley / Boek Gebonden (harde band)
common.buy 31.69 €
TOP
One Piece (Omnibus Edition), Vol. 21 Eiichiro Oda / Boek Gebonden (paperback)
common.buy 13.56 €
Sleep Solution W. Chris Winter / Boek Gebonden (paperback)
common.buy 19.33 €
Anatomy of the State Murray N Rothbard / Boek Gebonden (paperback)
common.buy 6.57 €
Little Traveller Board Book Set / Boek Leporello (harmonicaboek)
common.buy 16.70 €
Edgar Cayce and the Secret of the Golden Flower John Van Auken / Boek Gebonden (paperback)
common.buy 12.85 €
Communication Skills For Dummies Elizabeth Kuhnke / Boek Gebonden (paperback)
common.buy 14.27 €
Sewing Jeans Johanna Lundstrom / Boek Gebonden (paperback)
common.buy 26.02 €
Cat WILL EMILIA / Boek Gebonden (harde band)
common.buy 11.54 €
Glitch Laura Martin / Boek Gebonden (paperback)
common.buy 8.40 €
TOP
Frans Hals Lelia Packer / Boek Gebonden (paperback)
common.buy 23.18 €
Punjabi Student Dictionary: English-Punjabi/ Punjabi-English / Boek Gebonden (paperback)
common.buy 19.44 €
Finding Form with Fibre: be inspired, gather materials, and create your own sculptural basketry Ruth Woods / Boek Gebonden (paperback)
common.buy 28.35 €
Hidden Japan: A Fragile Landscape of Thatched Villages, Ancient Shrines and Primeval Forests Alex Kerr / Boek Gebonden (paperback)
common.buy 12.85 €
TOP
VILLAINS ARE DESTINED TO DIE V06 V06 / Boek Gebonden (paperback)
common.buy 15.79 €
Eros and Empire – The Transnational Struggle for Sexual Freedom in the United States Alexander Stoffel / Boek Gebonden (harde band)
common.buy 77.57 €
TOP
Sunrise on the Reaping Suzanne Collins / Boek Gebonden (harde band)
common.buy 15.28 €
TOP
Prisoners of Geography Tim Marshall / Boek Gebonden (paperback)
common.buy 10.02 €
Architectural Finishes in the Built Environment Mary A. Jablonski / Boek Gebonden (harde band)
common.buy 65.93 €

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?