Complexity of proofs and their transformations in axiomatic theories

By: Orevkov, V. PContributor(s): Louvish, DavidMaterial type: Computer fileComputer fileSeries: Translations of Mathematical Monographs ; v. 128Publication details: Providence, R.I. : American Mathematical Society, c1993Description: 1 online resource (vi, 153 p.)ISBN: 9781470445362 (online)Subject(s): Proof theoryOnline resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book ICTS
Link to resource Accessible Online EBK23382
Total holds: 0

Includes bibliographical references (p. 151-153).

There are no comments on this title.

to post a comment.