Zoekresultaten
Resultaat 21 - 40 (van 73)
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
Pieter Jan Wouter Hofstra Completions in realizability
Non-fictie
Engels | 169 pagina's | 2003
Gedrukt boek
Philosophical dimensions of logic and science
selected contributed papers from the 11th international congress of logic, methodology, and philosophy of science, Kraków, 1999
Non-fictie
Engels | 394 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 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
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
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
D. Hendriks Metamathematics in Coq
Non-fictie
Engels | 95 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 2003
Gedrukt boek
H. Van den Enden Op het scherp van de rede
veertig jaar kritisch denken
Non-fictie
Nederlands | 246 pagina's | Garant, Antwerpen, Apeldoorn | 2003
Gedrukt boek
L.D. Beklemishev The worm principle
Non-fictie
Engels | 23 pagina's | Zeno, Institute of Philosophy], [Utrecht | 2003
Gedrukt boek
M. Giero | Freek Wiedijk MMode, a Mizar Mode for the proof assistant Coq
Non-fictie
Engels | 55 pagina's | Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, Nijmegen | 2003
Gedrukt boek
H.J.S. Bruggink Residuals in higher-order rewriting
Non-fictie
Engels | 24 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 2003
Gedrukt boek
L.D. Beklemishev Quantifier-free induction schema and the least element principle
Non-fictie
Engels | 21 pagina's | Zeno, Institute of Philosophy, [Utrecht] | 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 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
Johan van Benthem Conditional probability and update logic
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 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 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 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