Language
triangle icon
Discount iconAllahindlused
Rahva Raamat logo
Language
triangle icon
RaamatupoedRestoran LiteraatSündmusedBlogi
Heart iconMinu soovidDiscount iconAllahindlused
Rahva Raamat logo
user iconSisene
Raamatutorm
Raamatutorm
Naistepäev
Naistepäev
Raamatud
triangle icon
Kingitused ja kodu
triangle icon
Mängud ja mänguasjad
triangle icon
Audioraamatud
triangle icon
Kool ja kontor
triangle icon
Muud
triangle icon
Cat sleeping on books
home iconback arrow
chevron right
Raamatud
chevron right
Teadus
chevron right
Matemaatika
chevron right

Basic Proof Theory

Basic Proof Theory
Heart Icon

Basic Proof Theory

A. S. Troelstra,

H. Schwichtenberg

94,00 €

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Toode on otsas

Detailid

Arrow icon
  • Lehekülgede arv432 lehekülge
  • Suurus
    153 x 229 x 26 mm
    eye iconVõrdle suurust
  • VormPehmekaaneline
  • Lugemise aeg14:24 tundi
    info icon

    Arvutus põhineb keskmisel lugemiskiirusel, kus 200-250 sõna lugemiseks kulub 2 minutit.

  • ISBN9780521779111
  • Ilmumisaasta2000
  • Keelingliskeelne
  • KirjastusCAMBRIDGE UNIVERSITY PRESS
  • Lisamise aeg01.08.2018
  • SarjadCambridge Tracts in Theoretical Computer Science
    • footer.no1-book-storeEesti suurim raamatumüüja
    footer.loyalty-programEripakkumised püsiklientidele
    footer.delivery-timeTasuta tarne tellimustele üle 39 €
    footer.fastest-deliveryKiireim tarne alates 2 tunnist

    Copyright © 2025 www.rahvaraamat.ee. Kõik õigused kaitstud.
    Rahva Raamat AS, 10421903, Telliskivi 60/2 (I-hoone), Tallinn, 15073, Eesti

    PrivaatsustingimusedKasutustingimusedKüpsised