Zoekresultaten
Resultaat 21 - 40 (van 55)
Patrick Girard From onions to broccoli
generalizing Lewis's counterfactual logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Emil Jeřábek Admissible rules of modal logics
Non-fictie
Engels | 23 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
J.C. Hage Studies in legal logic
Non-fictie
Engels | 328 pagina's | Springer, Dordrecht [etc.] | 2005
Gedrukt boek
T. Yavorskaya-Sidon Negative operations on proofs and labels
Non-fictie
Engels | 30 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
L.D. Beklemishev | A. Visser Problems in the logic of provability
Non-fictie
Engels | 49 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
Balder ten Cate | Massimo Franceschet On the complexity of hybrid logics with binders
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Frederick Aardema Reasoning processes in the development and maintenance of obsessive-compulsive disorder
Non-fictie
Engels | 141 pagina's | 2005
Gedrukt boek
Evan Gorris | Joost J. Joosten The many faces of interpretability
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Johan van Benthem | D.J.N. van Eijck | Barteld Kooi Logics of communication and change
Non-fictie
Engels | 33 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
A. Visser Propositional logics of closed and open substitutions of Heyting's arithmetic
Non-fictie
Engels | 13 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
Erik Weber Kennis ontrafeld
vijftien hedendaagse filosofen over wetenschap, ethiek en metafysica
Inleidend overzicht van het wetenschapsfilosofische denken van vijftien hedendaagse filosofen.
Non-fictie
Nederlands | 154 pagina's | Garant, Antwerpen, Apeldoorn | 2005
Gedrukt boek
Johan van Benthem Cognition as interaction
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Rostislav Yavorskiy On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs
Non-fictie
Engels | 16 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
Olivier Roy What does game theory have to do with plans?
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Gerhard Jäger Anaphora and type logical grammar
Non-fictie
Engels | 289 pagina's | Springer, Dordrecht | 2005
Gedrukt boek
L.D. Beklemishev Reflection principles and provability algebras in formal arithmetic
Non-fictie
Engels | 78 pagina's | Zeno, Institute of Philosophy, Utrecht | 2005
Gedrukt boek
J.C. van de Pol | Olga Tveretina A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)
Non-fictie
Engels | 19 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2005
Gedrukt boek
Johan van Benthem | Sieuwert van Otterloo | Olivier Roy Preference logic, conditionals and solution concepts in games
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
John Harris Fuzzy logic applications in engineering science
Non-fictie
Engels | 221 pagina's | Springer, Dordrecht | 2005
Gedrukt boek
Joel David Hamkins | Benedikt Löwe The modal logic of forcing
Non-fictie
Engels | 31 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek