Zoekresultaten
Resultaat 981 - 1000 (van 2274)
Frank O. Wagner Simple theories
Non-fictie
Engels | 260 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
The pragmatics of propositional attitude reports
Non-fictie
Engels | 218 pagina's | Elsevier, Oxford, Amsterdam [etc.] | 2000
Gedrukt boek
M. van Atten Why Husserl should have been a strong revisionist in mathematics
Non-fictie
Engels | 19 pagina's | Zeno Institute of Philosophy, Utrecht | 2000
Gedrukt boek
László Pólos | Michael T. Hannan Reasoning with partial knowledge
Non-fictie
Engels | 42 pagina's | ERIM, Erasmus Research Institute of Management, Rotterdam | 2000
Gedrukt boek
A Boole anthology
recent and classical studies in the logic of George Boole
Non-fictie
Engels | 336 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Rosalie Iemhoff A(nother) characterization of intuitionistic propositional logic
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Maarten Marx | Szabolcs Mikulás Products, or How to create modal logics of high complexity
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
John Harris An introduction to fuzzy logic applications
Non-fictie
Engels | 218 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Dov M. Gabbay Goal-directed proof theory
Non-fictie
Engels | 266 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2000
Gedrukt boek
Kees Doets Short proof(s) for classical theorems
Non-fictie
Engels | 5 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
John Stillwell The story of proof
logic and the history of mathematics
Engels | 441 pagina's | Princeton University Press, Princeton, New Jersey | 2022
Gedrukt boek
B.P.F. Jacobs Categorical logic and type theory
Non-fictie
Engels | 760 pagina's | Elsevier, Amsterdam [etc.] | 1999
Gedrukt boek
J.N. Mohanty Logic, truth and the modalities
from a phenomenological perspective
Non-fictie
Engels | 231 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1999
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Complexity results for hybrid temporal logics
Non-fictie
Engels | 27 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Patrick Blackburn | Maarten Marx Hybrid logics
characterization, interpolation and complexity
Non-fictie
Engels | 35 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek | B. van Linder A logical approach to the dynamics of commitments
Non-fictie
Engels | 37 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Kosta Došen Cut elimination in categories
Non-fictie
Engels | 229 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1999
Gedrukt boek
Eva Hoogland | Maarten Marx | Martin Otto Beth Definability for the guarded fragment
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Jeroen Groenendijk The logic of interrogation (classical version)
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Maarten Marx | M.C. Reynolds Undecidability of compass logic
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek