Zoekresultaten
Resultaat 301 - 320 (van 1101)
Kees Doets Proper classes
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Vladimir Kanovei On a dichotomy related to colourings of definable graphs in generic models
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Quantifiers: logics, models and computation
Non-fictie
Engels | 268 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek
Witold Marciszewski | Roman Murawski Mechanization of reasoning in a historical perspective
Non-fictie
Engels | 267 pagina's | Rodopi, Amsterdam [etc.] | 1995
Gedrukt boek
Andreja Prijatelj Investigating bounded contraction
Non-fictie
Engels | 111 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
L.D. Beklemishev Notes on local reflection principles
Non-fictie
Engels | 8 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
V.Yu. Shavrukov Interpreting reflexive theories in finitely many axioms
Non-fictie
Engels | 15 pagina's | Utrecht University, Utrecht | 1995
Gedrukt boek
M.J. Hollenberg An axiomatisation of strong negation and relational composition
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
J.F. Groote | Jan Springintveld Focus points and convergent process operators
Non-fictie
Engels | 34 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Eric Rosen Modal logic over finite structures
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1995
Gedrukt boek
W.J. Fokkink | C. Verhoef A conservative look at term deduction systems with variable binding
Non-fictie
Engels | 29 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Hiroakira Ono Decidability and finite model property of substructural logics
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1995
Gedrukt boek
A. Visser Context in dynamic predicate logic
Non-fictie
Engels | 21 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
A. Visser Relational validity & dynamic predicate logic
Non-fictie
Engels | 7 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Adriana B. Compagnoni Higher-order subtyping with intersection types
Non-fictie
Engels | 160 pagina's | 1995
Gedrukt boek
J.F. Groote | Hans van Maaren Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Non-classical logics and their applications to fuzzy subsets
a handbook of the mathematical foundations of fuzzy set theory
Non-fictie
Engels | 390 pagina's | Kluwer Academic Publishers, Dordrecht [etc] | 1995
Gedrukt boek
Chris Mortensen Inconsistent mathematics
Non-fictie
Engels | 155 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek
Institute for Logic, Language and Computation Modal deduction in second-order logic and set theory
Non-fictie
Engels | 30 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
D. Griffioen | H.P. Korver The Bakery Protocol
a comparative case-study in formal verification
Non-fictie
Engels | 25 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek