Zoekresultaten
Resultaat 921 - 940 (van 2274)
Johan van Benthem Categorial grammar at a cross-roads
Non-fictie
Engels | 23 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
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
D. Hendriks Metamathematics in Coq
Non-fictie
Engels | 95 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 2003
Gedrukt boek
John C. Lennox Kan de wetenschap alles verklaren?
Essay van de Britse wiskundige en christen over de relatie tussen geloof en wetenschap, aan de hand van zijn persoonlijke geloofsleven, jaren van wetenschappelijk onderzoek en debatten met bekende atheïsten.
Non-fictie
Nederlands | daisy-rom | Dedicon, Grave | 2023
Gesproken 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
One hundred years of phenomenology
Husserl's Logical investigations revisited
Non-fictie
Engels | 235 pagina's | Kluwer Academic Publishers, 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
Helle Hvid Hansen | Marc Pauly Axiomatising Nash-Consistent Coalition Logic
Non-fictie
Engels | 21 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
Joost J. Joosten Two proofs of Parsons' theorem
Non-fictie
Engels | 23 pagina's | Zeno Institute of Philosophy, Utrecht | 2002
Gedrukt boek
Noor van Leusen | Reinhard Muskens Construction by description in discourse representation
Non-fictie
Engels | 42 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Mai Gehrke | Hideo Nagahashi | Yde Venema A Sahlqvist theorem for distributive modal logic
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Ravi Rajani Generic structures
Non-fictie
Engels | 34 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Francesco Paoli Substructural logics: a primer
Non-fictie
Engels | 304 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
J.M. Niekus Individual choice sequences in the work of L.E.J. Brouwer
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek