Zoekresultaten
Resultaat 861 - 880 (van 2274)
Johan van Benthem A new modal Lindström theorem
Non-fictie
Engels | 10 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Tero Tulenheimo | Merlijn Sevenster Approaches to Independence friendly modal logic
Non-fictie
Engels | 34 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Merlijn Sevenster | Tero Tulenheimo Partially orderend connectives and sigma-1-1 on finite models
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Nick Bezhanishvili Lattices of intermediate and cylindric modal logics
Non-fictie
Engels | 224 pagina's | Institute for Logic, Language and Computation, Amsterdam | 2006
Gedrukt boek
G. Bezhanishvili | Johan van Benthem Modal logics of space
Non-fictie
Engels | 90 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Nick Bezhanishvili | Dick de Jongh Intuitionistic logic
Non-fictie
Engels | 57 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Benedikt Löwe Space bounds for infinitary computation
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Handbook of the history of logic
Non-fictie
Engels | 719 pagina's | Elsevier North Holland, Amsterdam [etc.] | 2006
Gedrukt boek
Joost J. Joosten Propositional proof systems and fast consistency provers
Non-fictie
Engels | 19 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
Gedrukt boek
Johan van Benthem | Fenrong Liu Dynamic logic of preference upgrade
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Andreas Blass | Ioanna M. Dimitriou | Benedikt Löwe Inaccessible cardinals without the axiom of choice
Non-fictie
Engels | 11 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Merlijn Sevenster Henkin quantifiers: logic, games, and computation
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Steve Jackson | Farid Khafizov Descriptions and cardinals below →d≠1/5
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Nick Bezhanishvili | Lena Kurzen | Rachel Sterken Student papers from an intuitionistic logic project
Non-fictie
Engels | 79 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Dick de Jongh The incompleteness theorems, their content and their meaning
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Jakub Szymanik A note on some neuroimaging study of natural language quantifiers comprehension
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
A. Visser Prolegomena to the categorical study of interpretations
Non-fictie
Engels | 24 pagina's | Zeno, Institute of Philosophy, Utrecht | 2006
Gedrukt boek
Tomasz Sadzik Exploring the iterated update universe
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Joost J. Joosten Semantics for sub-intuitionistic logics
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Johan van Benthem | Patrick Blackburn Modal logic: a semantic perspective
Non-fictie
Engels | 82 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek