Treffer 1 – 8 von 8 für Suche 'Orevkov, V. P.', Suchdauer: 0,05s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Complexity of proofs and their transformations in axiomatic theories von Orevkov, V. P.
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
2
The calculi of symbolic logic
Veröffentlicht 1974Weitere Verfasser: “… Orevkov, V. P. …”
Signatur: Wird geladen …
Standort: Wird geladen … -
3
The calculi of symbolic logic
Veröffentlicht 1971Weitere Verfasser: “… Orevkov, V. P. …”
Signatur: Wird geladen …
Standort: Wird geladen … -
4
The calculi of symbolic logic
Veröffentlicht 1971Weitere Verfasser: “… Orevkov, V. P. …”
Signatur: Wird geladen …
Standort: Wird geladen … -
5
Problems in the constructive trend in mathematics
Veröffentlicht 1970Weitere Verfasser: “… Orevkov, V. P. …”
Signatur: Wird geladen …
Standort: Wird geladen … -
6
Problems in the constructive trend in mathematics
Veröffentlicht 1975Weitere Verfasser: “… Orevkov, V. P. …”
Signatur: Wird geladen …
Standort: Wird geladen … -
7
Problems in the constructive trend in mathematics
Veröffentlicht 1972Weitere Verfasser: “… Orevkov, V. P. …”
Signatur: Wird geladen …
Standort: Wird geladen … -
8
Problems in the constructive trend in mathematics
Veröffentlicht 1970Weitere Verfasser: “… Orevkov, V. P. …”
Signatur: Wird geladen …
Standort: Wird geladen …