1 resultaat

van auteur Herman Ruge Jervell × van uitgever Logos Verlag Berlin × in het Engels ×

Geen afbeelding beschikbaar

Jervell, Herman Ruge

Proof Theory

Ingenaaid — ISBN: 9783832533038

In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classica…

€ 25,16

Leverbaar

Niet gevonden wat u zoekt? Vul dit formulier in en wij helpen u vinden wat u zoekt.