top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci







Orevkov V. P.
ID: 535964

Opere

Seleziona tutte
Deseleziona


Complexity of proofs and their transformations in axiomatic theories
Espandi opera
...
Logical and logico-mathematical calculi. 2
Espandi opera
...
Složnostʹ dokazatelʹstv i ich preobrazovanij v aksiomatizirovannych teorijach
Espandi opera
...