Zoekresultaten
Resultaat 281 - 300 (van 1101)
Giovanna D'Agostino The Łoś-Tarski and Lyndon theorem for the →m⇋-logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Joeri Engelfriet | Yde Venema A modal logic of information change
Non-fictie
Engels | 29 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
A. Visser Prolegomena to the definition of dynamic predicate logic with local assignments
Non-fictie
Engels | 36 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1997
Gedrukt boek
A. Visser An overview of interpretability logic
Non-fictie
Engels | 53 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
Proof theory of modal logic
Non-fictie
Engels | 317 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1996
Gedrukt boek
J.A. Bergstra | J.C. van de Pol A calculus for sequential logic with 4 values
Non-fictie
Engels | 8 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Giovanna D'Agostino | M.J. Hollenberg Uniform interpolation, automata and the modal →m⇋-calculus
Non-fictie
Engels | 18 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
B.P.F. Jacobs Automata and behaviours in categories of processes
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
W.J. Fokkink | J.C. van de Pol Correct transformation of rewrite systems for implementation purposes
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Søren Riis Count(q) versus the pigeon-hole principle
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Andrea Cantini Logical frameworks for truth and abstraction
an axiomatic study
Non-fictie
Engels | 461 pagina's | Elsevier, Amsterdam [etc.] | 1996
Gedrukt boek
Domenico Zambella On forcing in bounded arithmetic
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Norman M. Martin | Stephen Pollard Closure spaces and logic
Non-fictie
Engels | 230 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1996
Gedrukt boek
International Federation for Information Processing Representations of discrete functions
Non-fictie
Engels | 331 pagina's | Kluwer Academic Publishers, Boston [etc.], Dordrecht | 1996
Gedrukt boek
Maciej Wygralak Vaguely defined objects
representations, fuzzy sets, and nonclassical cardinality theory
Non-fictie
Engels | 265 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1996
Gedrukt boek
Angelo Montanari Metric and layered temporal logic for time granularity
Non-fictie
Engels | 164 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1996
Gedrukt boek
M.J. Hollenberg Safety for bisimulation in monadic second-order logic
Non-fictie
Engels | 19 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Kees Doets Proper classes
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Vladimir Kanovei On a dichotomy related to colourings of definable graphs in generic models
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
A.S. Troelstra From constructivism to computer science
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek