ZENO

Uitgaven:

1.Marlene Dumas : 25 years of collaboration : Zeno X Gallery Dumas, Marlene / Zeno X Books / 2020

2.De taal van verandering : veranderen in dialoog Nieuwenhof, Rombout van den / 2e herziene druk / ZENO Organisatieontwikkeling / [2013] / ©2013

3.Killing happy animals : explorations in utilitarian ethics Visak, Tatjana / Zeno] / cop. 2011

4.Three studies in Epicurean cosmology Bakker, Fredericus Antonius / Zeno] / cop. 2010

5.Seneca's theology in its philosophical context Houte, Maarten Stijn Adriaan van / Zeno, The Leiden-Utrecht Research Institute of Philosophy] / cop. 2010

6.Stoic philosophy and the exegesis of myth Sijl, Clara van / Zeno, The Leiden-Utrecht Research Institute of Philosophy] / 2010

7.Seneca in his cultural and literary context : selected moral letters on the body Conradie, Irene Marianne / Zeno] / 2010

8.Assistierte Freiheit : von einer Behindertenpolitik der Wohltäigkeit zu einer Politik der Menschenrechte Graumann, Sigrid / Zeno, The Leiden-Utrecht Research Institute of Philosophy] /   2009

9.Equivalence of reductions in higher-order rewriting Bruggink, Harrie Jan Sander / Zeno, The Leiden-Utrecht Research Institute of Philosophy /  2008

10.Specimina philosophiae Descartes, René / Zeno Institute for Philosophy, The Leiden-Utrecht Research Institute / 2007

11.Prolegomena to the categorical study of interpretations Visser, Albert / Zeno, Institute of Philosophy / 2006

12.A quest for canonical positional models Leo, Joop / Zeno, Institute of Philosophy / 2006

13.Propositional proof systems and fast consistency provers Joosten, Joost J. / Zeno, Institute of Philosophy / 2006

14.The predicative Frege hierarchy Visser, Albert / Zeno, Institute of Philosophy / 2006

15.A proof of finite family developments for higher-order rewriting using a prefix property Bruggink, H.J. Sander / Zeno, Institute of Philosophy / 2006

16.Propositional logics of closed and open substitutions of Heyting's arithmetic Visser, Albert / Zeno, Institute of Philosophy / 2005

17.Modeling relations Leo, Joop / Zeno, Institute of Philosophy / 2005

18.A finitary treatment of the closed fragment of Japaridze's provability logic Beklemishev, Lev.D. / Zeno, Institute of Philosophy / 2005

19.Negative operations on proofs and labels Yavorskaya-Sidon, T. / Zeno, Institute of Philosophy / 2005

20.On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs Yavorskiy, Rostislav / Zeno, Institute of Philosophy / 2005

21.Admissible rules of modal logics Jeřábek, Emil / Zeno, Institute of Philosophy / 2005

22.Reflection principles and provability algebras in formal arithmetic Beklemishev, Lev D. / Zeno, Institute of Philosophy / 2005

23.Problems in the logic of provability Beklemishev, Lev D. / Zeno, Institute of Philosophy / 200

524.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 2004

25.Phänomenologie und Idealismus : Analyse der Struktur und Methode der Philosophie Rudolf Steiners Sijmons, Jaap Gerhard / Zeno Institute for Philosophy, The Leiden-Utrecht Research Institute / 2004

26.Provability logic Artemov, S.N. / Zeno, Institute of Philosophy / 2004

27.Interpretability formalized Joosten, Joost Johannes / Zeno Institute for Philosophy, The Leiden-Utrecht Research Institute / 2004

28.Linear projective program syntax Bergstra, J.A. / Zeno, Institute of Philosophy / 2004

29.Process algebra for hybrid systems Bergstra, J.A. / Zeno, Institute of Philosophy / 2004

30.Categories of theories and interpretations Visser, Albert / Zeno, Institute of Philosophy / 2004

31.Axioms for SNABOK, a system and network administration body of knowledge: missing link stage of ontology process Bergstra, Jan A. / Zeno, Institute of Philosophy / 2004

32.Continuity controlled hybrid automata Bergstra, J.A. / Zeno, Institute of Philosophy / 2004

33.Execution architectures for program algebra Bergstra, Jan A. / Zeno, Institute of Philosophy / 2004

34.Machine function based control code algebras Bergstra, Jan A. / Zeno, Institute of Philosophy / 2004

35.Veblen hierarchy in the context of provability algebras Beklemishev, Lev D. / Zeno, Institute of Philosophy / 2004

36.Modal matters in interpretability logics Goris, Evan / Zeno, Institute of Philosophy / 2004

37.On the limit existence principles in elementary arithmetic and related topics Beklemishev, Lev D. / Zeno, Institute of Philosophy / 2004

38.Rechtvaardigheid, onpartijdigheid, gender en sociale diversiteit : feministische filosofen over recht doen aan vrouwen en hun onderlinge verschillen Bekker, Corinne Marie / Zeno, The Leiden-Utrecht Research Institute of Philosophy / cop. 2004

39.Ideas and explorations : Brouwer's road to intuitionism Kuiper, Johannes John Carel / Zeno, the Leiden-Utrecht Research Institute [of Philosophy] / cop. 2004

40.Epictetus on understanding and managing emotions Long, A.A. / Zeno, The Leiden-Utrecht Research Institute of Philosophy / 2003

41.The correspondence of René Descartes 1643 Descartes, René / Zeno Institute for Philosophy / 2003

42.Metamathematics in Coq Hendriks, Roger Dimitri Alexander / Zeno, the Leiden-Utrecht Research Institute of Philosophy /   2003

43.Gödel's theorem Dalen, D. van / Zeno, Institute of Philosophy / 2003

44.Quantifier-free induction schema and the least element principle Beklemishev, L.D. / Zeno, Institute of Philosophy / 2003

45.Residuals in higher-order rewriting Bruggink, H.J.S. / Zeno, Institute of Philosophy / 2003

46.No escape from Vardanyan's theorem Visser, Albert / Zeno, Institute of Philosophy / 2003

47.The worm principle Beklemishev, Lev D. / Zeno, Institute of Philosophy] / 2003

48.Husserls Phänomenologie der Intersubjektivität in den Göttinger Jahren : eine kritisch-historische Darstelling Ravalli, Paolo / Zeno, The Leiden-Utrecht Research Institute of Philosophy / 2003

49.The closed fragment of the interpretability logic of PRA with a constant for IS1 Joosten, Joost J. / Zeno Institute of Philosophy / 2003

50.Process algebra with nonstandard timing Middelburg, C.A. / Zeno, Institute of Philosophy / 2002

51.Het einde van de sociaaldemocratie : Ralf Dahrendorfs thesen over liberalisme en socialisme Broekhuijse, Hubertus Johannes Marie / Zeno, The Leiden-Utrecht Research Institute of Philosophy / 2002

52.Two proofs of Parsons' theorem Joosten, Joost J. / Zeno Institute of Philosophy / 2002

53.A new equivalence for processes with timing Baeten, J.C.M. / Zeno, Institute of Philosophy / 2002

54.Faith & falsity : a study of faithful interpretations and false S01-sentences Visser, A. / Zeno Institute of Philosophy / 2002

55.Edmund Husserl: Einleitung in die Philosophie. Vorlesungen 1922/23 : textkritische Ausgabe Goossens, Berndt Eugen Karl Josef / Zeno, The Leiden-Utrecht Research Institute of Philosophy / 2002

56.Revisiting timing in process algebra Middelburg, C.A. / Zeno, Institute of Philosophy / 2002

57.The correspondence between Descartes and Henricus Regius Bos, Jan Jacobus Frederik Maria / Zeno, The Leiden-Utrecht Research Institute of Philosophy] / 2002

58.A bibliography of the works of Descartes (1637-1704) Otegem, Matthijs van / Zeno, The Leiden-Utrecht Research Institute of Philosophy] / 2002

59.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 2001

60.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 2001

61.Provability algebras and proof-theoretic ordinals, I Beklemishev, Lev D. / Zeno, Institute of Philosophy / 2001

62.Operational conservativity with binding terms Middelburg, C.A. / Zeno, Institute of Philosophy / 2001

63.Extended abstracts of the fifth international workshop on termination (WST '01) Dershowitz, Nachum / Universiteit Utrecht faculteit Wijsbegeerte (ZENO) / 2001

64.ALWIS: ontology for knowledge engineers Poli, Roberto / Zeno, The Leiden-Utrecht Research Institute of Philosophy] / cop. 2001

65.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 2000

66.Haltlosigkeit : zwischen Sprache und Erfahrung Haas, Wolfgang / Zeno Institute of Philosophy, Utrecht University] /  2000

67.The irreflexivity of Brouwer's philosophy Atten, M. van / Zeno Institute of Philosophy / 2000

68.Why Husserl should have been a strong revisionist in mathematics Atten, M. van / Zeno Institute of Philosophy / 2000

69.On the induction schema for decidable predicates Beklemishev, Lev D. / Zeno Institute of Philosophy / 200070.Can we speak about what cannot be saidIshiguro, H. / Zeno Institute for Philosophy / 2000

71.Algebras, relations and geometries : (an equational perspective) Stebletsova, Vera / Zeno, the Leiden-Utrecht Research Institute of Philosophy / 2000

72.The interpretability logic of all reasonable arithmetical theories : the new conjecture Joosten, Joost J. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1999

73.Specification and validation of telecommunication services in ACPt Zhaorui, Yuan / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1999

74.Responsibility, blameworthy actions, & normative disagreements : a defense of practical semi-compatibilism Sie, Maureen Maria Sioe Kwan / Zeno, the Leiden-Utrecht Research Institute of Philosophy / 1999

75.Phenomenology of choice sequences Atten, Markus Sebastiaan Paul Rogier van / Zeno, the Leiden-Utrecht Research Institute of Philosophy / 1999

76.Explanation without a cause Wouters, Arno Gerhard / Zeno, The Leiden-Utrecht Research Institute of Philosophy /  1999

77.A critique of Putnam's Principle of the benefit of doubt Douven, I. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1999

78.A modal analysis of some principles of the provability logic of Heyting arithmetic Iemhoff, R. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1999

79.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1998

80.Theoretische software-engineering : kenmerken, faseringen en classificaties Bergstra, J.A. / Zeno, The Leiden-Utrecht Research Institute of Philosophy /  1998

81.Algebras for Boolean presuppositions Vermeulen, C.F.M. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

82.Submodels of Kripke Models Visser, A. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

83.The donkey and the monoid : dynamic semantics with control elements Visser, A. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

84.Earman on underdetermination and empirical indistinguishability Douven, I. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

85.A note on global descriptivism and Putnam's model-theoretic argument Douven, I. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

86.Clausification in Coq Bezem, M. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

87.Preventive medicine between obligation and aspiration Verweij, Marcellinus Franciscus / Zeno, The Leiden-Utrecht Research Institute for Philosophy / 1998

88.Algebraic specification in action Vlijmen, Sebastiaan Franciscus Maria van / Zeno, the Leiden-Utrecht Research Institute for Philosophy / 1998

89.Rules and arithmetics Visser, A. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

90.Hobbes and the Aristotelians : the Aristotelian setting of Thomas Hobbes's natural philosophy Leijenhorst, Cornelis Hendrik / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

91.Logic and bisimulation Hollenberg, Marcus Johannes / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

92.Simplicius on continuous and instantaneous change : neoplatonic elements in Simplicius' interpretation of Aristotelian physics Croese, Irma Maria / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / 1998

93.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1997

94.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1997

95.Spoorweglogica via EURIS Bergstra, J.A. / Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute / cop. 1997

96.Torens en fundamenten Dalen, Dirk van / Zeno Institute for Philosophy / 1997

97.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1994

98.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1993

99.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1992

100.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1991

101.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1990

102.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1990

103.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1990

104.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1990

105.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1990

106.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1990

107.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1989

108.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1989

109.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1989

110.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1989

111.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1988

112.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1988

113.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1987

114.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1987

115.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1987

116.[Antiquariaatscatalogus van Zeno, Helmond ]Zeno / Zeno / 1987

117.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1986

118.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1986

119.[Antiquariaatscatalogus van Zeno, Nijmegen] Zeno / Zeno / 1985

120.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 1985

121.[Antiquariaatscatalogus van Zeno, Nijmegen] Zeno / Zeno / 1984

122.[Antiquariaatscatalogus van Zeno, Nijmegen] Zeno / Zeno / 1984

123.[Antiquariaatscatalogus van Zeno, Nijmegen] Zeno / Zeno / 1984

124.Byzantine and post-Byzantine monuments at Aghia in Thessaly, Greece : the art and architecture of the monastery of Saint Panteleimon Koumoulides, John Thomas Anastasios / Zeno / 1975

125.Cyprus in history : a survey of 5.000 years Alastos, Doros / Zeno / 1955

126.[Antiquariaatscatalogus van Zeno, Helmond] Zeno / Zeno / 19XX

127

128.

129.

130.