A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Vopěnka, Petr, НЕЗАВИСИМОСТЬ - ГИПОТЕЗЫ (1964) |
| Vopěnka, Petr, Construction of a Model for Gödel-Bernays Set Theory For Which the Class of Natural Numbers is a Set of the Model and a Proper Class in the Theory (1965) |
| Vopěnka, Petr, The Lattice of Indiscernibility Equivalences (1979) |
| Voronkov, Andrei, N-Realizability: One More Constructive Semantics (1991) |
| Vredenduin, P. G. J., A System of Strict Implication (1939) |
| Vredenduin, P. G. J., The Constructive Method (1948) |
| Vučković, Vladeta, Rekursive Wortarithmetik (1960) |
| Vučković, Vladeta, Rekurzivni modeli nekih neklasičnih izkaznih računa (1960) |
| Vučković, Vladeta, Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications (1962) |
| Vučković, Vladeta, Einfuhrung von $\Sigma_{f} (x)$ und $\Pi_{f} (x)$ in der Rekursiven Gitterpunktarithmetik (1962) |