Zoekresultaten
Resultaat 1 - 20 (van 45)
Madan Lal Puri Time series, fuzzy analysis and miscellaneous topics
Non-fictie
Engels | 773 pagina's | VSP, Utrecht [etc.] | 2003
Gedrukt boek
Johan van Benthem Structural properties of dynamic reasoning
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
H. Zantema | J.F. Groote Transforming equality logic to propositional logic
Non-fictie
Engels | 13 pagina's | Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven | 2003
Gedrukt boek
Benedikt Löwe The pointwise view of determinacy: arboreal forcings, measurability and weak measurability
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
S.B. Cooper | Sergei S. Gončarov Computability and models
perspectives east and west
Non-fictie
Engels | 375 pagina's | Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
Joost J. Joosten The closed fragment of the interpretability logic of PRA with a constant for →IS⇋1
Non-fictie
Engels | 47 pagina's | Zeno Institute of Philosophy, Utrecht | 2003
Gedrukt boek
Helle Hvid Hansen Monotonic modal logics
Non-fictie
Engels | 115 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Johan van Benthem What one may come to know
Non-fictie
Engels | 10 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
D. van Dalen Gödel's theorem
Non-fictie
Engels | 1 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2003
Gedrukt boek
Pieter Jan Wouter Hofstra Completions in realizability
Non-fictie
Engels | 169 pagina's | 2003
Gedrukt boek
A. Visser No escape from Vardanyan's theorem
Non-fictie
Engels | 14 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2003
Gedrukt boek
Annalisa Marcja | Carlo Toffalori A guide to classical and modern model theory
Non-fictie
Engels | 369 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
D. Hendriks Metamathematics in Coq
Non-fictie
Engels | 95 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 2003
Gedrukt boek
Igor Lavrov | Larisa Maksimova Problems in set theory, mathematical logic and the theory of algorithms
Non-fictie
Engels | 282 pagina's | Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht [etc.] | 2003
Gedrukt boek
Johan van Benthem What logic games are trying to tell us
Non-fictie
Engels | 45 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Johan van Benthem The epistemic logic of IF games
Non-fictie
Engels | 32 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Johan van Benthem A note on modeling theories
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Johan van Benthem 'One is a lonely number'
on the logic of communication
Non-fictie
Engels | 37 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Johan van Benthem Rational dynamics and epistemic logic in games
Non-fictie
Engels | 26 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Johan van Benthem Is there still logic in Bolzano's Key?
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek