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
| V'Jugin, V. V., On Minimal Enumerations of Computable Classes of Recursively Enumerable Sets (1973) |
| V'Jugin, V. V., On Upper Semilattices of Numerations (1974) |
| V'Jugin, V. V., On Turing Invariant Sets (1976) |
| Valeriote, Matthew Anthony, On Decidable Locally Finite Varieties (1986) |
| Valpola, Veli, Ein System der Negationslosen Logic mit Ausschliesslich Realisierbaren Prädikaten (1955) |
| van Benthem, J. R., Unramified Forcing |
| van Benthem, J.F.A.K., Semantic Tableaus (1974) |
| van Benthem, J.F.A.K., Modal Correspondence Theory (1976) |
| van Benthem, J.F.A.K., Modal Logic as Second-Order Logic (1977) |
| van Benthem, J.F.A.K., The Logic of Time (1980) |