Zoekresultaten
Resultaat 161 - 180 (van 1101)
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
Sasaki Chikara Descartes's mathematical thought
Non-fictie
Engels | 496 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2003
Gedrukt boek
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
Radim Bělohlávek Fuzzy relational systems
foundations and principles
Non-fictie
Engels | 369 pagina's | Kluwer Academic/Plenum Publishers, New York, Boston, Dordrecht [etc.] | 2002
Gedrukt boek
Melvin Fitting Types, tableaus, and Gödel's God
Non-fictie
Engels | 180 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
Giovanna D'Agostino | Giacomo Lenzi On modal mu-calculus with explicit interpolants
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Yvon Gauthier Internal logic
foundations of mathematics from Kronecker to Hilbert
Non-fictie
Engels | 237 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek