Zoekresultaten
Resultaat 981 - 1000 (van 2280)
Maarten Marx | Nick Bezhanishvili All proper normal extensions of S5-square have the polynomial size model property
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
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
Chiara Marletto The science of can and can't
a physicist's journey through the land of counterfactuals
Engels | 252 pagina's | Allen Lane, an imprint of Penguin Books, UK | 2021
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
Kosta Došen Cut elimination in categories
Non-fictie
Engels | 229 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 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
Institute for Logic, Language and Computation Proceedings of the ILLC workshop on logic and games
Non-fictie
Engels | 46 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 1999
Gedrukt boek
Marcus Kracht Tools and techniques in modal logic
Non-fictie
Engels | 559 pagina's | Elsevier, Amsterdam [etc.] | 1999
Gedrukt boek
Giovanna D'Agostino | A. Visser Finality regained
a coalgebraic study of Scott-sets and multisets
Non-fictie
Engels | 36 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek