Login

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)