Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

V. P. Orevkov | lit.salon

Author

V. P. Orevkov

8 works

1970–1993 across 5 dated works

No biography is available yet.

Start with

Problems in the constructive trend in mathematics.1970
Five papers on logic and foundations1971
Problems in the Constructive Trend in Mathematics: Part V Proceedings (Steklov Institute of Mathematics, Academy of Sciences, USSR, No 113)1972
With N. A. Sanin
Logical and logico-mathematical calculi. 2.1974

Books

5 works

Featured (5)Featured (5)All (8)All (8)

Search booksSort books

Problems in the Constructive Trend in Mathematics: Part V Proceedings (Steklov Institute of Mathematics, Academy of Sciences, USSR, No 113)1972
With N. A. Sanin
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Logical and logico-mathematical calculi. 2.1974
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Complexity of proofs and their transformations in axiomatic theories1993
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Problems in the constructive trend in mathematics.1970
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Five papers on logic and foundations1971
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around V. P. Orevkov.

The conversation is still open.

There is no public salon activity to show for V. P. Orevkov yet.