10% OFF

Basic Proof Theory eBook

Name: Basic Proof Theory
Price: 64.93 EUR
Author: H. Schwichtenberg e A. S. Troelstra
ISBN: 9781316044537

by H. Schwichtenberg e A. S. Troelstra

language: english

Publisher: CAMBRIDGE UNIVERSITY PRESS, July of 2000 ‧ see product details

(0)

be the first to comment

64,93€

10% OFF CARD

IMMEDIATE AVAILABILITY

Ebook for ADE

SYNOPSIS

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.

DETAILS

Basic Proof Theory

by H. Schwichtenberg e A. S. Troelstra
Property	Description
ISBN:	9781316044537
Publisher:	CAMBRIDGE UNIVERSITY PRESS
Release Date:	July of 2000
Language:	English
Format:	eBook
File Format and Compatibility:	PDF para ADE
Collection:	Cambridge Tracts In Theoretical Computer Science
Categories:	eBooks in English > Science > Mathematics
EAN:	9781316044537

BOOKS FROM THE SAME COLLECTION

Initial Algebras And Terminal Coalgebras

10%

Jiri (Czech Technical University In Prague) Adamek, Lawrence S. (Indiana University, Bloomington) MossandStefan (Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany) Milius

CAMBRIDGE UNIVERSITY PRESS

188,59€ ~~209,54€~~

free shipping
Topological Duality For Distributive Lattices

10%

Mai (Universite Cote Dâ€™Azur) GehrkeandSam (Universite Paris Cite) Van Gool

CAMBRIDGE UNIVERSITY PRESS

82,74€ ~~91,93€~~

free shipping
Finite-State Techniques

eBook

10%

Klaus U. SchulzandStoyan Mihov

CAMBRIDGE UNIVERSITY PRESS

98,05€ 10% CARD
Temporal Logics In Computer Science

eBook

10%

Martin Lange, Stephane DemriandValentin Goranko

CAMBRIDGE UNIVERSITY PRESS

155,03€ 10% CARD

SEE MORE TITLES FROM THIS COLLECTION

FROM THE SAME AUTHORS

A. S. TROELSTRA

Lectures On Linear Logic

A. S. Troelstra

CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION

27,04€

SEE MORE TITLES BY THIS AUTHOR