Zoekresultaten
Resultaat 61 - 80 (van 1101)
Moritz Pasch Essays on the foundations of mathematics by Moritz Pasch
Non-fictie
Engels | 245 pagina's | Springer, Dordrecht [etc.] | 2010
Gedrukt boek
M.P.A. Sellink Computer-aided verification of protocols
the type theoretic approach
Non-fictie
Engels | 192 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1996
Gedrukt boek
Towards mathematical philosophy
papers from the Studia Logica conference 'Trends in Logic IV'
Non-fictie
Engels | 343 pagina's | Springer, [Dordrecht] | 2009
Gedrukt boek
The age of alternative logics
assessing philosophy of logic and mathematics today
Non-fictie
Engels | 348 pagina's | Springer, Dordrecht | 2009
Gedrukt boek
Johan van Benthem CRS and guarded logics, a fruitful contact
Non-fictie
Engels | 30 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2009
Gedrukt boek
George Metcalfe | Nicola Olivetti | Dov M. Gabbay Proof theory for fuzzy logics
Non-fictie
Engels | 276 pagina's | Springer, [Dordrecht] | 2009
Gedrukt boek
Cédric Dégremont | Lena Kurzen Modal logics for reasoning about preferences and cooperation
expressive power and complexity
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Joost J. Joosten | Grant Olney Passmore Doet SAT exhibit fractal behavior?
Non-fictie
Engels | 5 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem | Maricarmen Martinez The stories of logic and information
Non-fictie
Engels | 73 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Rens Bod Getting rid of derivational redundancy or how to solve Kuhn's problem
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem Logical pluralism meets logical dynamics?
Non-fictie
Engels | 30 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem The many faces of interpolation
Non-fictie
Engels | 11 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem Merging observation and access in dynamic logic
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem For better of for worse
dynamic logics of preference
Non-fictie
Engels | 32 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem A brief history of natural logic
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Johan van Benthem 'Tell it like it is': information flow in logic
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Fernando R. Velázquez-Quesada Inference and update
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Handbook of the history of logic
Non-fictie
Engels | 735 pagina's | Elsevier North Holland, Amsterdam [etc.] | 2008
Gedrukt boek
Wouter Koolen Temporary unavailability logic and general modification logic
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek