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) |