Library - International Centre for Theoretical Sciences catalog › Results of search for 'au:"Orevkov, V. P."'

Your search returned 3 results.

Not what you expected? Check for suggestions

	1.	The Calculi of symbolic logic, 1. Edited by V. P. Orevkov. [Translated from the Russian by A. Yablonsky] Series 2, volume 98 by Orevkov, V. P. Series: American Mathematical Society Translations: Series 2Material type: Computer file; Format: electronic Publication details: Providence, R.I., American Mathematical Society, 1971Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Complexity of proofs and their transformations in axiomatic theories by Orevkov, V. P \| Louvish, David. Series: Translations of Mathematical Monographs ; v. 128Material type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Fourteen papers on logic, geometry, topology, and algebra, by G. S. Ce�itin [and others] Series 2, volume 100 by TSeitin, G. S. Series: American Mathematical Society Translations: Series 2Material type: Computer file; Format: electronic Publication details: Providence, R.I., American Mathematical Society, 1972Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)