Zoekresultaten
Resultaat 1 - 20 (van 57)
Pieter A.M. Seuren The logic of thinking
Non-fictie
Engels | 35 pagina's | Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam | 2002
Gedrukt boek
Albert von Sachsen Albert of Saxony's twenty-five disputed questions on logic
a critical edition of his Quaestiones circa logicam
Non-fictie
Engels | Latijn | 433 pagina's | Brill, Leiden [etc.] | 2002
Gedrukt boek
Handboek of the logic of argument and inference
the turn towards the practical
Non-fictie
Engels | 498 pagina's | Elsevier, Amsterdam [etc.] | 2002
Gedrukt boek
A. Visser Faith & falsity
a study of faithful interpretations and false →S⇋01-sentences
Non-fictie
Engels | 35 pagina's | Zeno Institute of Philosophy, Utrecht | 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
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
Francesco Paoli Substructural logics: a primer
Non-fictie
Engels | 304 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 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
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
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
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
B. Badban | J.C. van de Pol Two solutions to incorporate zero, successor and equality in binary decision diagrams
Non-fictie
Engels | 26 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 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
Ravi Rajani Generic structures
Non-fictie
Engels | 34 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Leslie Smith Reasoning by mathematical induction in children's arithmetic
Non-fictie
Engels | 170 pagina's | Pergamon, Amsterdam [etc.] | 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
D. Hendriks Proof reflection in Coq
Non-fictie
Engels | 27 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
Toshihiro Wada The analytical method of Navya-Nyāya
Non-fictie
Engels | 220 pagina's | Forsten, Groningen | 2007
Gedrukt boek