Zoekresultaten
Resultaat 1 - 4 (van 4)
Yde Venema Points, lines and diamonds: a two-sorted modal logic for projective planes
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Yde Venema Temporal logic
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Yde Venema Canonical pseudo-correspondence
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Steven Givant | Yde Venema The preservation of Sahlqvist equations in completions of Boolean algebras with operators
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek