Complexity of proofs and their transformations in axiomatic theories/ V. P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish.

By:

Contributor(s):

Language: English Original language: Russian Series: Translations of mathematical monographs ; v. 128.Publication details: Providence, R.I.: American Mathematical Society, c1993.Description: vi, 153 p. ; 27 cmISBN:

Uniform titles:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Notes	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 O66c 1993 IMPA (Browse shelf(Opens below))	1	Available	Lógica matemática		39063000098114

Previous	No cover image available No cover image available				No cover image available No cover image available		No cover image available No cover image available	Next
Previous	511.3 N943i 1964 IMPA Introduction à la logique mathématique/	511.3 O24c 1989 IMPA Classical recursion theory: the theory of functions and sets of natural numbers/	511.3 O65 1984 IMPA Orders: description and roles : in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 : Ordres : description et rôles : en théorie des ensembles, des treillis des groupes ordonnés; entopologie, théorie des modèles et des relations, combinatoire, effectivité, science sociales : actes de la Conférence sur les Ensembles Ordonnés et leur[s] Applications, Château de la Tourette, L'Arbresle, juillet 5-11, 1982 /	511.3 O66c 1993 IMPA Complexity of proofs and their transformations in axiomatic theories/	511.3 P124l 1912 IMPA La logique déductive dans sa dernière phase de développement/	511.3 P213c 1994 IMPA Computational complexity /	511.3 P214 1973 IMPA Papers in the foundations of mathematics/	Next

Includes bibliographical references (p. 151-153).

There are no comments on this title.

to post a comment.