Zoekresultaten
Resultaat 1 - 19 (van 19)
Dick de Jongh Volledigheid en onvolledigheid
Non-fictie
Nederlands | 29 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
G. Bezhanishvili | Nick Bezhanishvili | Dick de Jongh The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property
Non-fictie
Engels | 27 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Marta Bilkova | Dick de Jongh | Joost J. Joosten Interpretability in PRA
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2008
Gedrukt boek
Nick Bezhanishvili | Dick de Jongh Intuitionistic logic
Non-fictie
Engels | 57 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Dick de Jongh The incompleteness theorems, their content and their meaning
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Lex Hendriks | Dick de Jongh Characterization of strongly equivalent logic programs in intermediate logics
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2001
Gedrukt boek
Carlos Areces | Dick de Jongh | Eva Hoogland The interpolation theorem for IL and ILP
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Dick de Jongh | Paul van Ulsen Beth's nonclassical valuations
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Dick de Jongh | Giorgi Japaridze The logic of provability
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek
L.A. Chagrova | Dick de Jongh The decidability of dependency in intuitionistic propositional logic
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1993
Gedrukt boek
Dick de Jongh | Duccio Pianigiani Solution of a problem of David Guaspari
Non-fictie
Engels | 7 pagina's | Instituut voor Taal, Logica en Informatie, Amsterdam | 1990
Gedrukt boek
Dick de Jongh | A. Visser Explicit fixed points for interpretability logic
Non-fictie
Engels | 9 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
Dick de Jongh | Marc Jumelet | Franco Montagna On the proof of Solovay's theorem
Non-fictie
Engels | 20 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek
Dick de Jongh | Frank Veltman Provability logics for relative interpretability
Non-fictie
Engels | 19 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek
Dick de Jongh | Lex Hendriks | Gerard R. Renardel de Lavalette Computations in fragments of intuitionistic propositional logic
Non-fictie
Engels | 26 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Dick de Jongh | F. Montagna Much shorter proofs
Non-fictie
Engels | 21 pagina's | Faculteit Wiskunde & Informatica, Universiteit van Amsterdam, Amsterdam | 1987
Gedrukt boek
Dick de Jongh | Fenrong Liu Optimality, belief and preference
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2006
Gedrukt boek
Alessandro Agostini | Dick de Jongh | Franco Montagna Coordination of 01-agents vs. coordination of worlds-based agents
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 2000
Gedrukt boek
Dick de Jongh | Franco Montagna Rosser orderings and free variables
Non-fictie
Engels | 10 pagina's | Institute for Language, Logic and Information, Amsterdam | 1989
Gedrukt boek