Zoekresultaten
Resultaat 21 - 40 (van 74)
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
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
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
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
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
D. Hendriks Metamathematics in Coq
Non-fictie
Engels | 95 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 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
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
Patrick Blackburn | Maarten Marx Tableaux for quantified hybrid logic
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2003
Gedrukt boek
Nick Bezhanishvili | Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable
Non-fictie
Engels | 13 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 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 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 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
H.J.S. Bruggink Residuals in higher-order rewriting
Non-fictie
Engels | 24 pagina's | Zeno, 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