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

10%

Initial Algebras And Terminal Coalgebras

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
10%

Topological Duality For Distributive Lattices

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

CAMBRIDGE UNIVERSITY PRESS

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

free shipping
eBook

10%

Finite-State Techniques

Klaus U. SchulzandStoyan Mihov

CAMBRIDGE UNIVERSITY PRESS

98,05€ 10% CARD
eBook

10%

Temporal Logics In Computer Science

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