Zoekresultaten
Resultaat 21 - 40 (van 48)
A. Visser Interpretability logic
Non-fictie
Engels | 34 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Hans Hellendoorn Fuzzy logic and the generalized modus ponens
Non-fictie
Engels | 24 pagina's | NLR, Amsterdam | 1991
Gedrukt boek
A.S. Troelstra | D. van Dalen Constructivism in mathematics
an introduction
Non-fictie
Engels | North-Holland, Amsterdam [etc.] | 1988
Gedrukt boek
A.S. Troelstra | D. van Dalen Constructivism in mathematics
an introduction
Non-fictie
Engels | North-Holland, Amsterdam [etc.] | 1988
Gedrukt boek
Jaap van Oosten Lifshitz' realizability
Non-fictie
Engels | 21 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek
Johan van Benthem Logical constants across varying types
Non-fictie
Engels | 35 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1988
Gedrukt boek
Marco Swaen The arithmetical fragment of Martin-Löf's type theories with weak S-elimination
Non-fictie
Engels | 22 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
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
Ryszard Wójcicki Theory of logical calculi
basic theory of consequence operations
Non-fictie
Engels | 473 pagina's | Kluwer Academic, Dordrecht [etc.] | 1988
Gedrukt boek
P.H. Rodenburg | F.J. van der Linden Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid
Non-fictie
Engels | 14 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek Non-monotonic reasoning by monotonic means
Non-fictie
Engels | 34 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer Possible logics for belief
Non-fictie
Engels | 38 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Craig Smoryński Hilbert's programme
Non-fictie
Engels | 93 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
P.M.W. Knijnenburg On axiomatizations for propositional logics of programs
Non-fictie
Engels | 55 pagina's | Department of Computer Science, University of Utrecht, Utrecht | 1988
Gedrukt boek
Frans Voorbraak A computationally efficient approximation of dempster-shafer theory
Non-fictie
Engels | 14 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Frans Voorbraak On the justification of Dempster's rule of commbination
Non-fictie
Engels | 30 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek
Paris Logic Group Logic colloquium
Non-fictie
Engels | Frans | 342 pagina's | North-Holland, Amsterdam [etc.] | 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
A.S. Troelstra On the early history of intuitionistic logic
Non-fictie
Engels | 20 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek
A. Visser A descending hierarchy of reflection principles
Non-fictie
Engels | 6 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1988
Gedrukt boek