Zoekresultaten
Resultaat 261 - 280 (van 1101)
Victor N. Krivtsov A negationless interpretation of intuitionistic axiomatic theories: higher-order arithmetic
Non-fictie
Engels | 29 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Handbook of proof theory
Non-fictie
Engels | 811 pagina's | Elsevier, Amsterdam [etc.] | 1998
Gedrukt boek
Carlos Areces | Verónica Becher Iterable AGM functions
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Renata Wassermann On structured belief bases
preliminary report
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Yde Venema Points, lines and diamonds: a two-sorted modal logic for projective planes
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Carlos Areces | M. de Rijke Expressiveness revisited
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
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
Carlos Areces | Verónica Becher | Sebastián Ferro Characterization results for d-Horn formulas
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
A.S. Troelstra Concepts and axioms
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
A.S. Troelstra Marginalia on sequent calculi
Non-fictie
Engels | 11 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
A. Visser Submodels of Kripke Models
Non-fictie
Engels | 23 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1998
Gedrukt boek
J. Scheerder | R.J. Wieringa A modal temporal dynamic logic doing the deadline
Non-fictie
Engels | 30 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
Dutch Graduate School in Logic Proceedings Accolade{96
Non-fictie
Engels | 150 pagina's | Dutch Graduate School in Logic, Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam | 1997
Gedrukt boek
Advances in intensional logic
Non-fictie
Engels | 291 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1997
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
Gerard R. Renardel de Lavalette How to change your world
a variant of quantified dynamic logic
Non-fictie
Engels | University of Groningen, Department of Mathematics and Computing Science, Groningen | 1997
Gedrukt boek
P.H.J. van Eijck Verifying relay circuits using state machines
Non-fictie
Engels | 13 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1997
Gedrukt boek
J.P. Warners | Hans van Maaren Satisfiability problems with balanced polynomial representation
Non-fictie
Engels | 15 pagina's | Delft University of Technology, Delft | 1997
Gedrukt boek
J. Broersen | R.J. Wieringa Minimal semantics for action specifications in first-order dynamic logic
Non-fictie
Engels | 24 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
Frans Voorbraak A nonmonotonic observation logic
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1997
Gedrukt boek