Zoekresultaten
Resultaat 1 - 20 (van 36)
Dick de Jongh Volledigheid en onvolledigheid
Non-fictie
Nederlands | 29 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Johan van Benthem | Darko Sarenac The geometry of knowledge
Non-fictie
Nederlands | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Johan van Benthem Minimal predicates, fixed points, and definability
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Balder ten Cate The first order formulas preserved under ultrafilter extensions are not recursively enumerable
Non-fictie
Engels | 2 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Balder ten Cate | Massimo Franceschet Guarded fragments with constants
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Benedikt Löwe Complexity hierarchies derived from reduction functions
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Benedikt Löwe The length of the full hierarchy of norms
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Joost J. Joosten Interpretability formalized
Non-fictie
Engels | 213 pagina's | Zeno Institute for Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 2004
Gedrukt boek
Benedikt Löwe | Thomas Müller Degrees of belief and knowledge in mathematics
Non-fictie
Engels | 6 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
A. Visser Categories of theories and interpretations
Non-fictie
Engels | 64 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2004
Gedrukt boek
Institute for Logic, Language and Computation Comparing inductive and circular definitions
parameters, complexity and games
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Evan Goris | Joost J. Joosten Modal matters in interpretability logics
Non-fictie
Engels | 117 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek
Mai Gehrke | John Harding | Yde Venema MacNeille completions and canonical extensions
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Benedikt Löwe | Darko Sarenac Cardinal spaces and topological representations of bimodal logics
Non-fictie
Engels | 7 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Martin Caminada For the sake of the argument
explorations into argument-based reasoning
Non-fictie
Engels | 176 pagina's | 2004
Gedrukt boek
Johan van Benthem | Fenrong Liu Diversity of logical agents in games
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Paul Harrenstein Logic in conflict
logical explorations in strategic equilibrium
Non-fictie
Engels | 257 pagina's | 2004
Gedrukt boek
Institute for Logic, Language and Computation Modal logics for products of topologies
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Centre for Telematics and Information Technology Declarative semantics of input consuming logic programs
Non-fictie
Engels | 24 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2004
Gedrukt boek
L.D. Beklemishev | A. Visser On the limit existence principles in elementary arithmetic and related topics
Non-fictie
Engels | 19 pagina's | Zeno, Institute of Philosophy, Utrecht | 2004
Gedrukt boek