Theoretische Filosofie Bibliotheek(August 2013)

[1] Abramsky, S., Dov M. Gabbay and T. S. E. Maibaum (eds.). Handbook of logic in computerscience. Oxford: Clarendon Press. 1992. ISBN 9780198537359.

[2] Abramsky, S., Dov M. Gabbay and T. S. E. Maibaum (eds.). Handbook of logic in computerscience. Oxford: Clarendon Press. 1992. ISBN 9780198537618.

[3] Addison, J.W., L. Henkin and A. Tarski. The Theory of Models: Studies in Logic and theFoundations of Mathematics. North-Holland Publishing Company. 1965.

[4] Agazzi, Evandro (ed.). I sistemi tra scienza e filosofia. Saggi/Sei. 1978.

[5] Alagar, V. S. and K. Periyasamy. Specification of software systems. New York: Springer.1998. ISBN 9780387984308.

[6] Albertazzi, Liliana (ed.). Shapes of forms: from gestalt psychology and phenomenology toontology and mathematics. Dordrecht: Kluwer Academic. 1999. ISBN 9780792352464. SL275.

[7] Albertazzi, Liliana (ed.). The dawn of cognitive science: early European contributors.Dordrecht: Kluwer Academic. 2001. ISBN 9780792367994. SL 295.

[8] Allan, John J., G. Mellitt and Wessex Institute of Technology. Computers in Railways V:Volume 1 Railway Systems and Management. ISBN 9781853124075.

[9] Allan, John J., G. Mellitt and Wessex Institute of Technology (eds.). Computers inRailways V: Volume 2, Railway Technology and Environment. ISBN 9781853124921.

[10] Almog, Joseph, John Perry, Howard Wettstein; with the assistance of Ingrid Deiwiks andEdward N. Zalta (eds.). Themes from Kaplan. New York: Oxford University Press. 1989.ISBN 9780195052176.

[11] Apers, P.M.G. (ed.). Colloquium Databankorganisatie, Deel 1. Mathematisch Centrum.1981.

[12] Apers, P.M.G. (ed.). Colloquium Databankorganisatie, Deel 2. Mathematisch Centrum.1981.

[13] Apt, Krzysztof R. From logic programming to Prolog. London: Prentice Hall. 1997. ISBN9780132303682.

[14] Apt, Krzysztof R. and Ernst-Rudiger Olderog. Verification of sequential and concurrentprograms. New York: Springer-Verlag. 1991. ISBN 9780387975320.

[15] Ash, Robert (ed.). Information Theory. Interscience Publishers. 1965.

[16] Ash, Robert B. and Melvin F. Gardner. Topics in stochastic processes. New York: Aca-demic Press. 1975. ISBN 9780120652709.

[17] van Atten, Mark. On Brouwer. Australia: Wadsworth. 2003. ISBN 9780534609931.

1

[18] Bachmair, Leo (ed.). Rewriting techniques and applications: 11th international conference,RTA 2000, Norwich, UK, July 10-12, 2000: proceedings. Berlin: Springer. 2000. ISBN9783540677789. LNCS 1833.

[19] Baeten, J. C. M. (ed.). Applications of process algebra. Cambridge, [Cambridgeshire]:Cambridge University Press. 1990. ISBN 9780521400282.

[20] Baeten, J. C. M. and J. F. Groote (eds.). CONCUR ’91: 2nd International Conferenceon Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991: proceedings.Berlin: Springer-Verlag. 1991. ISBN 9783540544302. LNCS 527.

[21] Baeten, J. C. M. and Jan Willem Klop (eds.). CONCUR ’90: theories of concurrency–unification and extension, Amsterdam, the Netherlands, August 27-30, 1990: proceedings.Berlin: Springer-Verlag. 1990. ISBN 9783540530480. LNCS 458.

[22] Baeten, J.C.M. Processalgebra: Een formalisme voor parallelle, cummunicerende pro-cessen. Kluwer. 1986.

[23] Bahm, Archie J. Comparative philosophy: Western, Indian, and Chinese philosophiescompared. Albuquerque, N.M.: World Books. 1995. ISBN 9780911714227.

[24] Bailey, Duane. Java Structures (Mcgraw-Hill International Editions: Computer ScienceSeries). ISBN 9780071160919.

[25] de Bakker, J. W., W. P. de Roever and G. Rozenberg (eds.). Semantics: foundations andapplications: REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992: proceedings.Berlin: Springer-Verlag. 1993. ISBN 9783540565963. LNCS 666.

[26] de Bakker, J. W. et al. (eds.). Real-time: theory in practice: REX workshop, Mook,The Netherlands, June 3-7, 1991: proceedings. Berlin: Springer-Verlag. 1992. ISBN9783540555643. LNCS 600.

[27] Balcazar, Jose Luis, Josep Dıaz and Joaquim Gabarro. Structural complexity I. Berlin:Springer-Verlag. 1988. ISBN 9783540186229.

[28] Balcazar, Jose Luis, Josep Dıaz and Joaquim Gabarro. Structural complexity II. Berlin:Springer-Verlag. 1988. ISBN 9783540520795.

[29] Barendregt, H. P. The lambda calculus: its syntax and semantics. Amsterdam: North-Holland. 1984. ISBN 9780444875082.

[30] Barendregt, Henk and Tobias Nipkow (eds.). Types for proofs and programs: internationalworkshop TYPES ’93, Nijmegen, The Netherlands, May 24-28, 1993: selected papers.Berlin: Springer-Verlag. 1994. ISBN 9783540580850. LNCS 806.

[31] Barnouw, Jeffrey. Propositional perception: phantasia, predication, and sign in Plato,Aristotle, and the Stoics. Lanham, Md.: University Press of America. 2002. ISBN9780761823414.

[32] Barnouw, Jeffrey. Odysseus, hero of practical intelligence: deliberation and signsin Homer’s Odyssey. Lanham, Md.: University Press of America. 2004. ISBN9780761830269.

[33] Barth, E. M. and E. C. W. Krabbe (eds.). Logic and political culture. Amsterdam: RoyalNetherlands Academy of Arts and Sciences. 1992. ISBN 9780444857439.

2

[34] Bartlett, Steven J. (ed.). Reflexivity: a source-book in self-reference. Amsterdam: North-Holland. 1992. ISBN 9780444890924.

[35] Barwise, Jon (ed.). The Language of First-order Logic: Tarski’s World 4.0. CSLI Publi-cations. 1992. ISBN 9760937073904.

[36] Barwise, Jon and John Etchemendy. Turing’s World 3.0: An Introduction to Computabil-ity Theory. CSLI Publications. ISBN 9781881526100.

[37] Barwise, Jon and John Etchemendy. Hyperproof. CSLI Publications. 1994. ISBN9781881526117.

[38] Barwise, Jon, H. J. Keisler et al. (eds.). Handbook of mathematical logic. Amsterdam:North-Holland Pub. Co. 1977. ISBN 9780444863881.

[39] Batens, D. (ed.). Logicaboek - Praktijk en theorie van het redenen. Maklu. 2008. ISBN9789044124095.

[40] Bauer, Heinz (ed.). Wahrscheinlichkeitstheorie und Grundzuge der Maßtheorie. DeGruyter.

[41] Beall, J. C. and Bas C. van Fraassen. Possibilities and paradox: an introduction to modaland many-valued logic. Oxford: Oxford University Press. 2003. ISBN 9780199259878.

[42] Beaney, Michael (ed.). The Frege reader. Oxford: Blackwell Publishers. 1997. ISBN9780631194453.

[43] Bechtel, William and Adele Abrahamsen. Connectionism and the mind: an introductionto parallel processing in networks. Cambridge, Mass., USA: B. Blackwell. 1991. ISBN9780631165774.

[44] Becker, Oskar (ed.). Mathematische Existenz, Untersuchungen zur Logik und Ontologie.Max Niemeyer Verlag Tubingen. 1973.

[45] Behnke, Heinrich, Wilhelm Suss and Kuno Fladt (eds.). Grundzuge der Mathematik, BandI, Grundlagen der Mathematik, Arithmetik und Algebra. Vandenhoek & Ruprecht. 1958.

[46] Behnke, Heinrich, Wilhelm Suss and Kuno Fladt (eds.). Grundzuge der Mathematik, BandII, Geometrie. Vandenhoek & Ruprecht. 1960.

[47] Behnke, Heinrich, Wilhelm Suss and Kuno Fladt (eds.). Grundzuge der Mathematik, BandIII, Analysis. Vandenhoeck & Ruprecht. 1962.

[48] van Benthem, Johan. Language in action: categories, lambdas, and dynamic logic. Ams-terdam: North-Holland. 1991. ISBN 9780444890009.

[49] van Benthem, Johan. Exploring Logical Dynamics. CSLI Publications. 1996.

[50] van Benthem, Johan, Amitabha Gupta and Eric Pacuit (eds.). Games, Norms and Rea-sons: Logic at the Crossroads. Springer. 2011. ISBN 9789400707139.

[51] Bergstra, J.A. Semi-complete termherschrijfsystemen. Kluwer. 1987.

[52] Bergstra, J.A. Spoorweglogica via EURIS. ZENO Institute. 1993.

[53] Bergstra, J.A. Theoretische Software-Engineering. ZENO Institute. 1998.

3

[54] Bergstra, Jan and Mark Burgess (eds.). Handbook of network and system administration.London: Elsevier. 2007. ISBN 9780444521989.

[55] Bergstra, Jan A. and L. M. G. Feijs (eds.). Algebraic methods II: theory, tools, andapplications. Berlin: Springer-Verlag. 1991. ISBN 9783540539124. LNCS 490.

[56] Bergstra, Jan A., A. Ponse and S. A. Smolka (eds.). Handbook of process algebra. Ams-terdam: Elsevier. 2001. ISBN 9780444828309.

[57] Bertoni, A. and C. Bohm. Theoretical Computer Science. World Scientific. 1989.

[58] Beth, Evert Willem (ed.). Inleiding tot de Wijsbegeerte der Wiskunde. PhilosophischeBibliotheek. 1940.

[59] Beth, Evert Willem (ed.). Summulae Logicales. P. Noordhoff N.V. 1942.

[60] Beth, Evert Willem (ed.). De Wijsbegeerte der Wiskunde: Van Parmenides tot Bolzano.Philosophische Bibliotheek. 1944.

[61] Beth, Evert Willem (ed.). Natuurphilosophie. J. Noordduijn en Zoon N.V. 1948.

[62] Beth, Evert Willem (ed.). Wijsbegeerte der Wiskunde. Philosophische Bibliotheek. 1948.

[63] Beth, Evert Willem (ed.). Wijsgerige Ruimteleer. Philosophische Bibliotheek. 1950.

[64] Beth, Evert Willem (ed.). Inleiding tot de Wijsbegeerte der Exacte Wetenschappen.Philosophische Bibliotheek. 1953.

[65] Beth, Evert Willem (ed.). L’Existence en Mathematiques. Gauthier-Villars. 1956.

[66] Beth, Evert Willem (ed.). La Crise de la Raison et la Logique. Gauthier-Villars. 1957.

[67] Beth, Evert Willem (ed.). The Foundations of Mathematics, A Study in the Philosophyof Science. North-Holland Publishing Company. 1959.

[68] Beth, Evert Willem. Formal Methods. Reidel. 1962. SL.

[69] Beth, Evert Willem (ed.). Memorial Colloquium, Logic and Foundations of Science. D.Reidel Publishing Company. 1967.

[70] Bezem, M. and J. F. Groote (eds.). Typed lambda calculi and applications: Interna-tional Conference on Typed Lamda [sic] Calculi and Applications, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands: proceedings. Berlin: Springer-Verlag. 1993. ISBN9783540565178. LNCS 665.

[71] Bezem, Marc, Jan Willem Klop and Roel de Vrijer (eds.). Term rewriting systems. Cam-bridge: Cambridge University Press. 2003. ISBN 9780521391153. LNCS 664.

[72] Bezhanishvili, Nick and Valentin Goranko. Lectures on Logic and Computation. Springer.2012.

[73] Bieberbach (ed.). Einleitung in die Hohere Geometrie. B.G. Teubner. 1933.

[74] Biletzki, Anat. Talking wolves: Thomas Hobbes on the language of politics and the politicsof language. Dordrecht: Kluwer Academic Publishers. 1997. ISBN 9780792344254. SL262.

4

[75] Bishop, Christopher M. Neural networks for pattern recognition. Oxford: ClarendonPress. 1995. ISBN 9780198538646.

[76] Blackburn, Patrick, Maarten De Rijke and Yde Venema. Modal logic. Cambridge: Cam-bridge University Press. 2002. ISBN 9780521527149.

[77] Blyth, T. S. Set theory and abstract algebra. London: Longman. 1975. ISBN9780582442849.

[78] Bochenski, I.M. (ed.). Precis de Logique Mathematique. F.G. Kroonder. 1948.

[79] Bochenski, I.M. (ed.). Ancient Formal Logic. North-Holland Publishing Company. 1951.

[80] Bonevac, Daniel. Deduction: introductory symbolic logic. Malden, MA: Blackwell Pub.2003. ISBN 9780631227137.

[81] Boole, George (ed.). The Mathematical Analysis of Logic. Oxford Basil Blackwell. 1847.

[82] Boolos, George. The logic of provability. Cambridge [England]: Cambridge UniversityPress. 1993. ISBN 9780521433426.

[83] Booth, Wayne C., Gregory G. Colomb and Joseph M. Williams. The Craft of Research.3 edition. The University of Chicago Press. 2008.

[84] Bor, J.F.H. (ed.). Lineaire Algebra. P. Noordhoff N.V. 1965.

[85] Borger, E. Computation Theory and Logic. Springer Verlag. 1987. ISBN 9783540181705.LNCS 270.

[86] Borger, E., H. Kleine Buning and M. M. Richter (eds.). CSL ’87: 1st Workshop onComputer Science Logic, Karlsruhe, FRG, October 1987: proceedings. Berlin: Springer-Verlag. 1988. ISBN 9783540502418. LNCS 329.

[87] Borger, E., H. Kleine Buning and M. M. Richter (eds.). CSL ’89: 3rd Workshop onComputer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings. Berlin:Springer-Verlag. 1990. ISBN 9783540527534. LNCS 440.

[88] Borger, E., G. Hasenjaeger and D. Rodding (eds.). Logic and Machines: Decision Problemsand Complexity: Proceedings of the Symposium ”Rekursive Kombinatorik” held from May23 - 28, 1983 at the Institut. ISBN 9783540133315. LNCS 171.

[89] Borger, E. et al. (eds.). Computer science logic: 4th workshop, CSL ’90, Heidel-berg, Germany, October 1-5, 1990: proceedings. Berlin: Springer-Verlag. 1991. ISBN9783540544876. LNCS 533.

[90] Borger, Egon, Yuri Gurevich and Karl Meinke (eds.). Computer science logic: 7th work-shop, CSL ’93, Swansea, United Kingdom, September 13-17, 1993: selected papers. Berlin:Springer-Verlag. 1994. ISBN 9783540582779. LNCS 832.

[91] Bouma, L. G. and H. Velthuijsen (eds.). Feature Interactions in TelecommunicationsSystems,. ISBN 9789051991659.

[92] van Brakel, J. and J.T. van den Brink. Filosofie van de wetenschappen. Continho. 1988.

[93] van Brakel, Jan and D. Raven. Realisme en Waarheid. Van Gorcum. 1991.

5

[94] Bransen, Jan. Filosofie en ironie: Fantastische opmerkingen over de toekomst van eentraditie (Dutch Edition). ISBN 9789039100318.

[95] Bratko, Ivan. Prolog programming for artificial intelligence. Wokingham, England:Addison-Wesley Pub. Co. 1990. ISBN 9780201416060.

[96] Brewka, Gerhard, Jurgen Dix and Kurt Konolige. Nonmonotonic Reasoning: AnOverview. CSLI Publications. ISBN 9781881526834.

[97] van de Brink, B. and W. van Rijen. Het Recht van de Moraal. Continho. 1994.

[98] de Bruijn, H. (ed.). Waarom is wiskunde zo onwerkelijk.

[99] de Bruijn, N.G. (ed.). Beknopt Leerboek der Differentiaal en Integraalrekening. N.V.Noord-Hollandsche Uitgevers Maatschappij. 1949.

[100] de Bruin, Boudewijn (ed.). Explaining Games: The Epistemic Programme in Game The-ory. Springer. 2010. ISBN 9781402099052.

[101] Buhler, W. K. Gauss: a biographical study. Berlin. 1981. ISBN 9783540106623.

[102] Bundy, Alan (ed.). Automated deduction, CADE-12: 12th International Conference onAutomated Deduction, Nancy, France, June 26 - July 1, 1994: proceedings. Berlin:Springer-Verlag. 1994. ISBN 9783540581567.

[103] Buning, Hans Kleine (ed.). Computer Science Logic: 9th International Workshop, CSl ’95,Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. SelectedPapers. Lecture Notes in Computer Science. ISBN 9783540613770. LNCS 1092.

[104] Burgess, John P. Fixing Frege. Princeton, N.J.: Princeton University Press. 2005. ISBN9780691122311.

[105] Burton, David M. (ed.). An Introduction to Abstract Mathematical Systems. Addison-Wesley Publishing Company. 1965.

[106] Buss, Samuel E. Handbook of Proof Theory. Elsevier. 1998.

[107] Bystrov, Peter I. and Vadim N. Sadovsky (eds.). Philosophical logic and logical philosophy:essays in honour of Vladimir A. Smirnov. Dordrecht: Kluwer Academic Publishers. 1996.ISBN 9780792342700. SL 257.

[108] Cann, Ronnie. Formal semantics: an introduction. Cambridge: Cambridge UniversityPress. 1993. ISBN 9780521376105.

[109] Carnap, Rudolf (ed.). Der Logische Aufbau der Welt. Weltkreis Verlag. 1928.

[110] Carnap, Rudolf (ed.). Meaning and Necessity, A Study in Semantics and Modal Logic.University of Chicago Press. 1947.

[111] Carnap, Rudolf (ed.). Logical Foundations of Probability. University of Chicago Press.1950.

[112] Casari, Ettore (ed.). Lineamenti di Logica Matematica. Feltrinelli. 1961.

[113] Casari, Ettore (ed.). La Logica del Novencento. Lescher. 1981.

6

[114] Cawsey, Alison. The essence of artificial intelligence. London: Prentice Hall. 1997. ISBN9780135717790.

[115] Chagrov, Alexander and Michael Zakharyaschev. Modal logic. Oxford: Clarendon Press.1997. ISBN 9780198537793.

[116] Chakrabarti, Arindam. Denying existence: the logic, epistemology and pragmatics ofnegative existentials and fictional discourse. ISBN 9780792343882. SL 261.

[117] Chang, C. C. and H. J. Keisler. Model theory. Amsterdam: North-Holland. 1990. ISBN9780444880543.

[118] Chiara, Maria Luisa Dalla et al. (eds.). The Tenth International Congress of Logic,Methodology, and Philosophy of Science, Florence, August 1995. Dordrecht: Kluwer Aca-demic Publishers. 1997. ISBN 9780792343844. SL 260.

[119] Chung, Kai Lai (ed.). Markov Chains with Stationary Transition Probabilities. SpringerVerlag. 1967.

[120] Churchland, Patricia S. and Terrence J. Sejnowski. The computational brain. Cambridge,Mass.: MIT Press. 1992. ISBN 9780262531207.

[121] Churchland, Paul M. Matter and consciousness: a contemporary introduction to thephilosophy of mind. Cambridge, Mass.: MIT Press. 1988. ISBN 9780262530743.

[122] CMU/SEI. The capability maturity model: guidelines for improving the software process.Addison-Wesley. 1995. ISBN 9780201546644.

[123] Collin, Finn (ed.). Science Studies as Naturalized Philosophy. Springer. 2011. ISBN9789048197408.

[124] Comtet, Louis. Advanced combinatorics: The art of finite and infinite expansions. ISBN9789027704412.

[125] Cowan, Daniel A. Language & Negation: The 2-Level Structure that Prevents Paradox.Joseph Publishing Company. 1980.

[126] Craig, William Lane. The tensed theory of time: a critical examination. Dordrecht:Kluwer Academic Publishers. 2000. ISBN 9780792366348. SL 293.

[127] Craig, William Lane. The tenseless theory of time: a critical examination. Dordrecht:Kluwer Academic. 2000. ISBN 9780792366355. SL 294.

[128] Cramer, Harald (ed.). Mathematical Methods of Statistics. Princeton University Press.1945.

[129] Culbertson, James T. (ed.). Mathematics and Logic for Digital Devices. D. Van NostrandCompany. 1958.

[130] Curry, Haskell B. Foundations of mathematical logic. New York: Dover Publications.1977. ISBN 9780486634623.

[131] van Dalen, Dirk. Logic and structure. Berlin: Springer-Verlag. 1983. ISBN 9783540128311.

[132] van Dalen, Dirk. The Selected Correspondence of L.E.J. Brouwer. Springer. 2011.

7

[133] van Dalen, Dirk and Marc Bezem (eds.). Computer science logic: 10th International Work-shop, CSL ’96, Annual Conference of the EACSL, Utrecht, The Netherlands, September21-27, 1996: selected papers. Berlin: Springer. 1997. ISBN 9783540631729. LNCS 1258.

[134] Davis, J.W. Philosophical Logic. Reidel. 1969. SL.

[135] Decock, Lieven. Trading ontology for ideology: the interplay of logic, set theory, and se-mantics in Quine’s philosophy. Dordrecht: Kluwer Academic. 2002. ISBN 9781402008658.

[136] Dekker, A., H. ter Heege and A. Treffers (eds.). Cijferend Vermenigvuldigen en DelenVolgens Wiskobas. OW & OC.

[137] Dekker, Paul and Martin Stokhof. Proceedings of the 10th Amsterdam Colloquium. Uni-versity Amsterdam. 2000.

[138] Desain, Peter and Henkjan Honing. Music, mind and machine: studies in computer music,music cognition and artificial intelligence. Amsterdam: Thesis Publishers. 1992. ISBN9789051701494.

[139] Devlin, Keith. Logic and information. Cambridge [England]: Cambridge University Press.1995. ISBN 9780521499712.

[140] Devlin, Keith. Goodbye, Descartes: the end of logic and the search for a new cosmologyof the mind. New York: Wiley. 1997. ISBN 9780471142164.

[141] Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (eds.). Typed lambda calculi andapplications: second International Conference on Typed Lambda Calculi and Applications,TLCA ’95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings. Berlin: Springer-Verlag. 1995. ISBN 9783540590484. LNCS 902.

[142] Dill, David L. (ed.). Computer aided verification: 6th international conference, CAV ’94,Stanford, California, USA, June 21-23, 1994: proceedings. Berlin: Springer-Verlag. 1994.ISBN 9783540581796. LNCS 818.

[143] Dilworth, Craig (ed.). Scientific Progress: A study Concerning the Nature of the RelationBetween Successive Scientific Theories. Springer. 2008. ISBN 9781402091087.

[144] Doets, Kees. From logic to logic programming. Cambridge, Mass.: MIT Press. 1994. ISBN9780262041423.

[145] Doets, Kees and Jan van Eijck. The Haskell Road To Logic, Maths And Programming.ISBN 9780954300692.

[146] Dold, A. and B. Eckmann (eds.). An Index and Other Useful Information. Springer. 1975.

[147] Dold, A. and B. Eckmann. Set Theory and Hierarchy Theory. Springer. 1976. ISBN9783540078562.

[148] Dold, A. and B. Eckmann. Applications of Sheaves. Springer. 1979. ISBN 9783540095644.

[149] Dopp, J. Logiques Construites par une Methode de Deduction Naturelle. Gauthier-Villars.1962.

[150] Doreian, Patrick. Mathematics and the Study of Social Relations. Weidenfeld and Nicol-son. 1970.

8

[151] Dowty, David R., Robert E. Wall and Stanley Peters. Introduction to Montague semantics.Dordrecht, Holland: D. Reidel Pub. Co. 1981. ISBN 9789027711427.

[152] Egidi, Rosaria (ed.). In search of a new humanism: the philosophy of Georg Henrik vonWright. Dordrecht: Kluwer Academic. 1999. ISBN 9780792358107. SL 282.

[153] Ehrenfeucht, A., V.W. Marek and M. Srebrny. Andrzej Mostowski and FoundationalStudies (Stand Alone). ISBN 9781586037826.

[154] Ehrenfeucht, A., V.W. Marek and M. Srebrny. Andrzej Mostowski and FoundationalStudies. IOS Press. 2008.

[155] van Eijck, Jan and Albert Visser (eds.). Logic and information flow. Cambridge, Mass:MIT Press. 1994. ISBN 9780262220477.

[156] Ellis, T. M. R. A structured approach to FORTRAN 77 programming. London: Addison-Wesley. 1982. ISBN 9780201137903.

[157] Embree, Lester et al. (eds.). Encyclopedia of phenomenology. Dordrecht: Kluwer AcademicPublishers. 1997. ISBN 9780792329565.

[158] Enderton, Herbert B. A mathematical introduction to logic. San Diego, CA: Har-court/Academic Press. 2001. ISBN 9780122384523.

[159] Engberg-Pedersen, Troels. The Stoic Theory of Oikeiosis: Moral Development & SocialInteraction in Early Stoic Philosophy. ISBN 9788772883236.

[160] Engeler, Erwin (ed.). Logic of programs: workshop, ETH Zurich, May-July 1979. Berlin:Springer-Verlag. 1981. ISBN 9783540111603. LNCS 125.

[161] Epstein, R. L. Degrees of Unsolvability: Structure and Theory. Lecture Notes in Mathe-matics. ISBN 9783540097105.

[162] Essler, Wilhelm K. and Rosa F. Martınez Cruzado. Grundzuge der Logik. Frankfurt: V.Klostermann. 1983. ISBN 9783465015512.

[163] Everitt, Nicholas and Alec Fisher. Modern epistemology: a new introduction. New York:McGraw-Hill. 1995. ISBN 9780070212145.

[164] Ezra, Ovadia. The withdrawal of rights: rights from a different perspective. Dordrecht:Kluwer Academic. 2002. ISBN 9781402008863.

[165] Feferman, Anita Burdman. From Trotzky to Godel. Wellesley, A K Peters. 1993.

[166] Feijs, Loe M. G., Hans B. M. Jonkers and Cornelis A. Middelburg. Notations for softwaredesign. London: Springer-Verlag. 1994. ISBN 9783540199021.

[167] Fenstad, J. E. and P. G. Hinman (eds.). Generalized recursion theory. Proceedings of the1972 Oslo symposium. Amsterdam, North-Holland Pub. Co. 1974. ISBN 9780444105455.

[168] Fine, Kit. Modality and tense: philosophical papers. Oxford: Clarendon Press. 2005. ISBN9780199278718.

[169] Fiore, Marcelo P. Axiomatic domain theory in categories of partial maps. Cambridge:Cambridge University Press. 1996. ISBN 9780521571883.

9

[170] Fitting, Melvin and Richard L. Mendelsohn. First-order modal logic. Dordrecht: KluwerAcademic. 1998. ISBN 9780792353348. SL 277.

[171] Fletcher, Peter. Truth, proof, and infinity: a theory of constructions and contructivereasoning. Dordrecht: Kluwer Academic Publishers. 1998. ISBN 9780792352624. SL 276.

[172] Flew, Antony (ed.). Logic and Language. Basil Blackwell Oxford. 1961.

[173] Flew, Antony (ed.). Logic and Language. Basil Blackwell Oxford. 1963.

[174] Floridi, Luciano (ed.). The Blackwell guide to the philosophy of computing and informa-tion. Malden, MA: Blackwell Pub. 2004. ISBN 9780631229193.

[175] Fogelin, Robert J. and Walter Sinnott-Armstrong. Understanding arguments: an introduc-tion to informal logic. Belmont, CA: Thomson Wadsworth. 2005. ISBN 9780534625863.

[176] Fokkink, Wan, W. Brauer, G. Rozenberg and A. Salomaa (eds.). Introduction to ProcessAlgebra. Texts in Theoretical Computer Science. ISBN 9783540665793.

[177] Forrai, Gabor. Reference, truth, and conceptual schemes: a defense of internal realism.Dordrecht: Kluwer Academic. 2001. ISBN 9780792368854.

[178] Franzen, Torkel. Inexhaustibility: A Non-Exhaustive Treatment, Lecture Notes in Logic16 (Lecture Notes in Logic, 16). ISBN 9781568811758.

[179] Franzen, Torkel. Godel’s theorem: an incomplete guide to its use and abuse. Wellesley,MA: A K Peters. 2005. ISBN 9781568812380.

[180] Freeman, Harry (ed.). Finite Differences, Calculus and Probability. Cambridge UniversityPress. 1936.

[181] Frege, Gottlob (ed.). Nachgelassene Schriften. Felix Meiner. 1983.

[182] Freudenthal, Hans (ed.). Logique Mathematique Appliquee. Gauthier-Villars. 1958.

[183] Freudenthal, Hans (ed.). Reports on Methods of Initiation into Geometry. J.B. Wolters.1958.

[184] Freudenthal, Hans. The concept and the role of the model in mathematics and naturaland social sciences. Reidel. 1961. SL.

[185] Freudenthal, Hans (ed.). Exacte Logica. De Erven F. Bohn N.V. 1961.

[186] Freudenthal, Hans (ed.). Report on the Relations between Arithmetic and Algebra. J.B.Wolters. 1962.

[187] Freudenthal, Hans (ed.). De Eerste Ontmoeting tussen de Wiskunde en de Sociale Weten-schappen. Paleis der Academien. 1966.

[188] Freudenthal, Hans and W. Peremans (eds.). Zeven Voordrachten Over Topologie. J.Noorduijn en Zoon N.V. 1950.

[189] Freyd, Peter J. and Andre Scedrov. Categories, allegories. Amsterdam: North-Holland.1990. ISBN 9780444703675.

[190] Gabbay, D. and F. Guenthner. Handbook of Philosophical Logic II. Dordrecht: KluwerAcademic Publishers. 1984.

10

[191] Gabbay, Dov M. (ed.). Labelled Deductive Systems, Part I. Centrum fur Informations-und Sprachverarbeitung Universitat Munchen. 1991.

[192] Gabbay, Dov M. and Franz Guenthner (eds.). Handbook of philosophical logic I. Dordrecht:D. Reidel. 1983. SL 164.

[193] Gabbay, Dov M. and Franz Guenthner (eds.). Handbook of philosophical logic II. Dor-drecht: D. Reidel. 1983. SL 165.

[194] Gabbay, Dov M. and Franz Guenthner (eds.). Handbook of philosophical logic III. Dor-drecht: D. Reidel. 1983. SL 166.

[195] Gabbay, Dov M. and Franz Guenthner (eds.). Handbook of philosophical logic IV. Dor-drecht: D. Reidel. 1983. SL 167.

[196] Gallier, Jean H. Logic for computer science: foundations of automatic theorem proving.New York: Wiley. 1987. ISBN 9780471615460.

[197] Gardenfors, Peter, J. Wolenski and K. Kijania-Placek (eds.). In the Scope of Logic,Methodology and Philosophy of Science: Volume One of the 11th International Congressof Logic, Methodology and Philosophy of Science II. ISBN 9781402009303. SL 316.

[198] Gardenfors, Peter, Jan Wolenski and Katarzyna Kijania-Placek (eds.). In the Scope ofLogic, Methodology and Philosophy of Science: Volume One of the 11th InternationalCongress of Logic, Methodology and Philosophy of Science I. ISBN 9781402009297. SL315.

[199] Garey, Michael R. and David S. Johnson. Computers and intractability: a guide to thetheory of NP-completeness. San Francisco: W.H. Freeman. 1979. ISBN 9780716710455.

[200] Gasser, James (ed.). A Boole anthology: recent and classical studies in the logic of GeorgeBoole. Boston: Kluwer Academic Publishers. 2000. ISBN 9780792363804. SL 291.

[201] Gauthier, Yvon. Internal logic: foundations of mathematics from Kronecker to Hilbert.Dordrecht: Kluwer Academic Publishers. 2002. ISBN 9781402006890. SL 310.

[202] Ghilardi, Silvio and Marek Zawadowski. Sheaves, Games, and Model Completions: ACategorial Approach to Nonclassical Propositional Logics. Kluwer Academic Publishers.2002.

[203] Gill, R. R. Rockingham. Deducibility and decidability. London: Routledge. 1990. ISBN9780415000338.

[204] Girard, Jean-Yves. Proof theory and logical complexity. Napoli: Bibliopolis. 1987. ISBN9788870881233.

[205] Girard, Jean-Yves. Proofs and Types. Cambridge University Press. 1990.

[206] Girard, Patrick, Olivier Roy and Mathieu Marion. Dynamic Formal Epistemology.Springer. 2011. ISBN 9789400700734.

[207] Girle, Rod. Possible worlds. Chesham: Acumen. 2003. ISBN 9781902683690.

[208] Glas, Eduard. Wiskunde en samenleving in historisch perspectief (Dutch Edition). ISBN9789062835751.

11

[209] Glynn, Jerry and Theodore Gray. The beginner’s guide to Mathematica version 4. Cam-bridge: Cambridge University Press. 2000. ISBN 9780521777698.

[210] Goble, Lou (ed.). The Blackwell guide to philosophical logic. Malden, MA: BlackwellPublishers. 2001. ISBN 9780631206934.

[211] Gomperts, M.C. (ed.). Neeltje komt dinsdag in evacostuum. 1992. ISBN 9789052560687.

[212] Goodrich, Michael T. and Roberto Tamassia. Data structures and algorithms in Java.John Wiley & Sons Inc. 2006. ISBN 9780471738848.

[213] Goos, G. L Systems. Springer Verlag. 1974. LNCS 15.

[214] Goos, G. Lambda-Calculus and Computer Science Theory. Springer. 1975.

[215] Goossens, Michel, Sebastian Rahtz; with Eitan M. Gurari, Ross Moore and Robert S.Sutor. The LaTex Web companion: integrating TeX, HTML, and XML. Boston: AddisonWesley. 1999. ISBN 9780201433111.

[216] Goossens, Michel, Frank Mittelbach and Alexander Samarin. The Latex companion. Read-ing, Mass.: Addison-Wesley Publishing. 1994. ISBN 9780201541991.

[217] Goossens, Michel, Sebastian Rahtz and Frank Mittelbach. The LaTEX graphics compan-ion: illustrating documents with TEX and PostScript. Reading, Mass.: Addison-Wesley.1997. ISBN 9780201854695.

[218] Gosling, James, Bill Joy and Guy Steele. The Java language specification. Reading, Mass.:Addison-Wesley. 1996. ISBN 9780201634518.

[219] Grana, Nicola (ed.). Modalita ad Intuizionismo. Giannini. 1980.

[220] Grana, Nicola (ed.). Filosofia della Logica. Lofredo Editore. 1982.

[221] Grasman, J. (ed.). Wiskundige methoden toegepast. 1993. ISBN 9789050410212.

[222] Gregg, John and F.T.C. Harris (eds.). Form and Strategy in Science. D. Reidel PublishingCompany. 1964.

[223] Guttag, John V., James J. Horning, S. J. Garland et al. Larch: languages and tools forformal specification. New York: Springer-Verlag. 1993. ISBN 9780387940069.

[224] Haberlandt, Karl. Cognitive psychology. Boston: Allyn and Bacon. 1994. ISBN9780205139392.

[225] Hagiya, Masami and John C. Mitchell (eds.). Theoretical aspects of computer software: In-ternational Symposium TACS ’94, Sendai, Japan, April 19-22, 1994: proceedings. Berlin:Springer-Verlag. 1994. ISBN 9783540578871. LNCS 789.

[226] Hajek, Peter (ed.). Godel ’96: logical foundations of mathematics, computer science, andphysics – Kurt Godel’s legacy: Bruno [sic], Czech Republic, August 1996, proceedings.Berlin: Springer. 1996. ISBN 9783540614340.

[227] Hale, Bob and Crispin Wright (eds.). A companion to the philosophy of language. Oxford:Blackwell. 1999. ISBN 9780631213260.

12

[228] Halin, Rudolf. Graphentheorie (German Edition). Ertrage der Forschung. ISBN9783534067671.

[229] Hamburger, Henry. Games as models of social phenomena. San Francisco: W. H. Freeman.1979. ISBN 9780716710103.

[230] Hammer, Eric M. Logic and Visual Information. CSLI Publications. ISBN 9781881526995.

[231] Hankinson, Jim (ed.). Bluff Your Way in Philosophy. The Bluffer’s Guides. 1985.

[232] Harel, David. Algorithmics: The Spirit of Computing. Addison-Wesley. 1996.

[233] Harrah, David (ed.). Communication: A Logical Model. M.I.T. Press. 1963.

[234] van Hee, K. M. Information systems engineering: a formal approach. Cambridge: Cam-bridge University Press. 1994. ISBN 9780521455145.

[235] Heering, Jan et al. (eds.). Higher-order algebra, logic, and term rewriting: first interna-tional workshop, HOA ’93, Amsterdam, The Netherlands, September 23-24, 1993: selectedpapers. Berlin: Springer-Verlag. 1994. ISBN 9783540582335. LNCS 816.

[236] van Hees, M., E. de Jonge and L. Nauta (eds.). Kernthema’s van de filosofie. Boom. 2003.ISBN 9789053528730.

[237] Henkin, Leon (ed.). La Strucure Algebrique des Theories Mathematiques. Gauthier-Villars.1956.

[238] Henkin, Leon, J. Donald Monk and Alfred Tarski. Cylindric algebras. Amsterdam: North-Holland Pub. Co. 1971. ISBN 9780720420432.

[239] Henkin, Leon, Patrick Suppes and Alfred Tarski (eds.). The Axiomatic Method with specialReference to Geometry and Physics. North-Holland Publishing Company. 1959.

[240] Hennessy, Matthew. Algebraic theory of processes. Cambridge, Mass.: MIT Press. 1988.ISBN 9780262081719.

[241] Hermes, H. (ed.). Einfuhrung in die Mathematische Logik. B.G. Teubner. 1969.

[242] Hermes, H. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit. Springer. 1971.

[243] Hilbert, David (ed.). Grundlagen der Geometrie. B.G. Teubner. 1930.

[244] Hilbert, David and Paul Bernays (eds.). Grundlagen der Mathematik, Band I. JuliusSpringer. 1934.

[245] Hilbert, David and Paul Bernays (eds.). Grundlagen der Mathematik, Band II. JuliusSpringer. 1939.

[246] Hilgevoord, Jan (ed.). Physics and our view of the world. Cambridge: Cambridge Uni-versity Press. 1994. ISBN 9780521476805.

[247] Hindley, J. Roger and Jonathan P. Seldin. Introduction to combinators and λ-calculus.Cambridge: Cambridge University Press. 1986. ISBN 9780521318396.

[248] Hinman, Peter G. Recursion-theoretic hierarchies. Berlin/New York:. 1978. ISBN9783540079040.

13

[249] Hintikka, Jaakko. Models for Modalities. Reidel. 1969. SL.

[250] Hintikka, Jaakko. The principles of mathematics revisited. Cambridge: Cambridge Uni-versity Press. 1996. ISBN 9780521496926.

[251] Hoare, C. A. R. Communicating sequential processes. Englewood Cliffs, N.J.: PrenticeHall International. 1985. ISBN 9780131532892.

[252] Hodges, Wilfrid. Model Theory. Cambridge University Press. 1993.

[253] Hoffman, Paul. The Man Who Loved Only Numbers. ISBN 9781857028294.

[254] Hoggar, S. G. Mathematics for computer graphics. Cambridge: Cambridge UniversityPress. 1992. ISBN 9780521375740.

[255] Holmstrom-Hintikka, Ghita, Sten Lindstrom and R. Sliwinski (eds.). Collected Papers ofStig Kanger with Essays on his Life and Work II. Synthese Library. ISBN 9781402001116.SL 303.

[256] Holmstrom-Hintikka, Ghita, Sten Lindstrom and R. Sliwinski (eds.). Collected Papers ofStig Kanger with Essays on his Life and Work Volume I (Synthese Library). SyntheseLibrary. ISBN 9781402000218. SL 304.

[257] Holmstrom-Hintikka, Ghita and Raimo Tuomela (eds.). Contemporary action theory I.Dordrecht: Kluwer Academic. 1997. ISBN 9780792347521. SL 266.

[258] Holmstrom-Hintikka, Ghita and Raimo Tuomela (eds.). Contemporary action theory II.Dordrecht: Kluwer Academic. 1997. ISBN 9780792347538. SL 267.

[259] Holzmann, Gerard J. Design and validation of computer protocols. London: Prentice-HallInternational. 1991. ISBN 9780135398340.

[260] Holzner, Steve. XML complete. New York: McGraw-Hill. 1998. ISBN 9780079137029.

[261] Hornsby, J. and G. Longworth. Philosophy of Language. Blackwell. 2006. ISBN9781405124850.

[262] Horstmann, Cay. Computing concepts with Java essentials. New York: Wiley. 2003. ISBN9780471243717.

[263] Hubbeling, Hubertus Gezinus. Denkend geloven: Inleiding tot de wijsbegeerte van degodsdienst (Terreinverkenningen in de filosofie) (Dutch Edition). ISBN 9789023214595.

[264] Hugly, Philip and Charles Sayward. Intensionality and truth: an essay on the philosophyof A. N. Prior. Dordrecht: Kluwer Academic Publishers. 1996. ISBN 9780792341192. SL255.

[265] Humphrey, Watts S. A discipline for software engineering. Reading, Mass.: Addison-Wesley. 1995. ISBN 9780201546101.

[266] Humphreys, Paul and Patrick Suppes (eds.). Scientific philosopher I. Dordrecht: KluwerAcademic. 1994. ISBN 9780792325536. SL 233.

[267] Humphreys, Paul and Patrick Suppes (eds.). Scientific philosopher II. Dordrecht: KluwerAcademic. 1994. ISBN 9780792325529. SL 234.

14

[268] Humphreys, Paul and Patrick Suppes (eds.). Scientific philosopher III. Dordrecht: KluwerAcademic. 1994. ISBN 9780792328629. SL 235.

[269] Hurley, Patrick J. A Concise Introduction to Logic. Belmont, California: Thomson. 2006.ISBN 9780495006978.

[270] Huth, Michael and Mark Ryan. Logic in computer science: modelling and reasoning aboutsystems. Cambridge, U.K.: Cambridge University Press. 2000. ISBN 9780521656023.

[271] Inhetveen, Rudiger. Konstruktive Geometrie: eine formentheoretische Begrundung der eu-klidischen Geometrie. Mannheim: Bibliographisches Institut. 1983. ISBN 9783411016525.

[272] Jacquette, Dale (ed.). Philosophy of logic: an anthology. Malden, Mass.: BlackwellPublishers. 2002. ISBN 9780631218685.

[273] Jacquette, Dale (ed.). Philosophy of mathematics: an anthology. Malden, MA: BlackwellPublishers. 2002. ISBN 9780631218708.

[274] Jialin, Sun. Nought Analysis. Qingdao Publishing House. 1993.

[275] Johnson-Laird, Philip. The computer and the mind: an introduction to cognitive science.London: Fontana. 1993. ISBN 9780006862994.

[276] Jonsson, Bengt and Joachim Parrow (eds.). CONCUR ’94, concurrency theory: 5th Inter-national Conference, Uppsala, Sweden, August 22-25, 1994: proceedings. Berlin: Springer-Verlag. 1994. ISBN 9783540583295. LNCS 836.

[277] Kalat, James W. Biological psychology. Pacific Grove, CA: Brooks/Cole Pub. Co. 1998.ISBN 9780534348939.

[278] Kamareddine, F.D., T. Laan and Rob Nederpelt. A Modern Perspective on Type Theory:From its Origins until Today (Applied Logic Series). ISBN 9781402023347.

[279] Kamp, Hans and Uwe Reyle. From discourse to logic: introduction to modeltheoretic se-mantics of natural language, formal logic and discourse representation theory. Dordrecht:Kluwer Academic. 1993. ISBN 9780792310280.

[280] Karp, Carol R. (ed.). Languages with Expressions of Infinite Length. North-HollandPublishing Company. 1964.

[281] Kazemier, B.H. and D. Vuysje. Logic and Language. D. Reidel Publishing Company. 1962.SL.

[282] Kendall, Maurice G. (ed.). The Advanced Theory of Statistics. Charles Griffin & Company.1948.

[283] Kessels, Jos, A. van der Kam and J. Tollenaar (eds.). Inleiding in de kennistheorie:Handleiding voor de docent. 1989.

[284] Khinchin, A.I. (ed.). Mathematical Foundations of Statistical Mechanics. Dover Publica-tions. 1949.

[285] Khoussainov, Bakhadyr and Anil Nerode. Automata theory and its applications. Boston:Birkhauser. 2001. ISBN 9780817642075.

15

[286] Kieseppa, I. A. Truthlikeness for multidimensional, quantitative cognitive problems. Dor-drecht: Kluwer Academic Publishers. 1996. ISBN 9780792340058. SL 254.

[287] Kijania-Placek, Katarzyna and Jan Wolenski (eds.). The Lvov-Warsaw school and contem-porary philosophy. Dordrecht: Kluwer Academic Publishers. 1998. ISBN 9780792351054.SL 273.

[288] Kleene, S.C. Introduction to Metamathematics. North-Holland Publishing. 1952.

[289] Knuth, Donald E. Computers and Typesetting: The MATAFONTbook. Addison-WesleyPublishing Company. 1986.

[290] Knuth, Donald E. Computers and Typesetting: The TEXbook. Addison-Wesley. 1996.

[291] Knuth, Donald E. The art of computer programming (Vol. II): Seminumerical Algorithms.Reading, Mass.: Addison-Wesley. 1997. ISBN 9780201896831.

[292] Knuth, Donald E. The art of computer programming (Vol. III): Sorting and Searching.Addison-Wesley. 1997.

[293] Knuth, Donald E. The art of computer programming (Vol. I): Fundamental Algorithms.Addison-Wesley. 1998. ISBN 9780201896848.

[294] Kozen, Dexter C. The design and analysis of algorithms. New York: Springer-Verlag.1992. ISBN 9780387976877.

[295] Krajıcek, Jan. Bounded arithmetic, propositional logic, and complexity theory. Cambridge:Cambridge University Press. 1995. ISBN 9780521452052.

[296] Kreyszig, Erwin. Advanced engineering mathematics. New York, N.Y.: John Wiley. 1999.ISBN 9780471333289.

[297] Krynicki, Micha l, Marcin Mostowski and Les law W. Szczerba (eds.). Quantifiers: log-ics, models, and computation I. Dordrecht: Kluwer Academic Publishers. 1995. ISBN9780792334484. SL 248.

[298] Krynicki, Micha l, Marcin Mostowski and Les law W. Szczerba (eds.). Quantifiers: log-ics, models, and computation II. Dordrecht: Kluwer Academic Publishers. 1995. ISBN9780792334491. SL 249.

[299] Kuck, Conrad. Categorical quantum mechanics is a part of set theory. ISBN9783870888558.

[300] Kuck, Conrad. Intuitionistic set theory: Or How to Construct a Proof (Forschungsergeb-nisse zur Informatik). ISBN 9783860646168.

[301] Kuck, Conrad (ed.). Intuitionistic Set Theory: Or How to Construct Semi-rings: Intu-itionistic Set Theory Part II. Dr. Kovak.

[302] Kuck, Conrad. Non-monotonic learning automata. Verlag Ferdinand Schoningh. 1984.ISBN 9783506748706.

[303] Kuck, Conrad. Quantum Logic is the Foundation of Mathematics, Physics and Computer-science. Bonifatius. 1989.

[304] Kuck, Conrad. Decidable, Categorial Set Theory I. Bonifatius. 1995.

16

[305] Kuck, Conrad. Decidable, Categorial Set Theory II. Bonifatius. 1995.

[306] Kuipers, L. (ed.). Leerboek der Analyse. P. Noordhoff N.V. 1960.

[307] Kuipers, L. (ed.). Leerboek der Analyse II. P. Noordhoff N.V. 1962.

[308] Kuipers, Theo A. F. From instrumentalism to constructive realism: on some relationsbetween confirmation, empirical progress, and truth approximation. Dordrecht: KluwerAcademic. 2000. ISBN 9780792360865. SL 287.

[309] von Kutschera, Franz (ed.). Elementare Logik. Springer. 1967.

[310] Kuyk, Willem (ed.). Complementarity in Mathematics: A First Introduction to the Foun-dation of Mathematics and Its History (Mathematics and Its Application). Dordrecht-Holland: D. Reidel Publishing Company.

[311] Lacy, Phillip Howard De and Estelle Allen De Lacy. On Methods of Inference. Bibliopolis.1978.

[312] Lambert, Karel. Philosophical Aspects in Logic. Reidel. 1969. SL.

[313] Lamport, Leslie. LATEX: a document preparation system. Addison-Wesley. 1994.

[314] Langer, Susanne K. (ed.). An Introduction to Symbolic Logic. Dover Publications Inc.1967.

[315] Laszlo Csrimaz, Dov M. Gabbay and Maarten de Rijke. Logic Colloquium ’92. TheEuropean Association for Logic, Language and Information. 1992.

[316] Lavrov, Igor and Larisa Maksimova: edited by Giovanna Corsi: translated byValentin Shehtman. Problems in set theory, mathematical logic, and the theory of al-gorithms. New York: Kluwer Academic/Plenum Publishers. 2003. ISBN 9780306477126.

[317] Layman, C. Stephen. The power of logic. Boston: McGraw-Hill. 2005. ISBN9780072875874.

[318] Leeuw, Karl De and Jan A. Bergstra (eds.). The history of information security: acomprehensive handbook. Amsterdam: Elsevier. 2007. ISBN 9780444516084.

[319] van Leeuwen, Jan (ed.). Handbook of Theoretical Computer Science (Volume B): FormalModels and Semantics. Elsevier. 1990.

[320] van Leeuwen, Jan (ed.). Handbook of Theoretical Computer Science (Volume A): Algo-rithms and Complexity. Amsterdam: Elsevier. 1994. ISBN 9780444880710.

[321] Levin, Harold D. Categorial Grammar and the Logical Form of Quantification. Bibliopolis.1982.

[322] Levinson, Stephen C. Pragmatics. Cambridge: Cambridge University Press. 1983. ISBN9780521294140.

[323] Lievers, Menno (ed.). Dat Is Waar. Bezige Bij. 2003. ISBN 9789023411741.

[324] Lightstone, A.H. (ed.). The Axiomatic Method: An Introduction to Mathematical Logic.Prentice-Hall Inc. 1964.

17

[325] Lindstrom, Per. Aspects of Incompleteness Lecture Notes in Logic 10. ISBN9781568811734.

[326] Link, Godehard (ed.). One Hundred Years Of Russell’s Paradox: Mathematics, Logic,Philosophy (De Gruyter Series in Logic and Its Applications). ISBN 9783110174380.

[327] Linsky, Bernard and G. Imaguire. On Denoting 1905-2005. Philosophia. 2005.

[328] Lipschutz, Seymour. Finite Mathematics. Schaum. ISBN 9780070990265.

[329] Lipschutz, Seymour. Discrete mathematics. Schaum. 1976. ISBN 9780070379817.

[330] Lipschutz, Seymour. Schaum’s Outline: Finite Mathematics. McGraw-Hill Book Com-pany Inc. 1995.

[331] Lipschutz, Seymour, John J. Schiller and R. Alu Srinivasan. Schaum’s outline: Problemsof beginning finite mathematics. New York: McGraw-Hill. 2005. ISBN 9780071388979.

[332] Liu, Fenrong (ed.). Reasoning about Preference Dynamics. Springer. 2011. ISBN9789400713437.

[333] Lloyd, J. W. Foundations of logic programming. Berlin: Springer-Verlag. 1987. ISBN9783540181996.

[334] Lohmar, Dieter. Phanomenologie der Mathematik: Elemente einer phanomenologischenAufklarung der mathematischen Erkenntnis nach Husserl. Dordrecht: Kluwer AcademicPublishers. 1989. ISBN 9780792301875.

[335] Lowe, Benedikt and Thomas Muller (eds.). PhiMSAMP. Philosophy of Mathematics:Sociological Aspects and Mathematical Practice. ISBN 9781904987956.

[336] Lucas, P.J.F. and Van Der Gaag (eds.). Principes van expertsystemen.

[337] Lukasiewicz, Jan (ed.). Selected Works. PWN-Polish Scientific Publishers. 1970.

[338] Luo, Zhaohui. Computation and reasoning: a type theory for computer science. Oxford:Clarendon Press. 1994. ISBN 9780198538356.

[339] Maddy, Penelope. Naturalism in mathematics. Oxford: Clarendon Press. 2000. ISBN9780198250753.

[340] Magnaldi, Giuseppina. L’oikeiosis peripatetica in Ario Didimo e nel ”De finibus” deCicerone (Italian Edition). Filologica. ISBN 9788871660455.

[341] Maieru, Alfonso (ed.). English Logic in Italy in the 14th and 15th Centuries: Acts ofthe 5th European Symposium on Medieval Logic and Sematics. History of Logic. ISBN9788870880540.

[342] Manaster, Alfred B. Completeness, compactness, and undecidability: an introduction tomathematical logic. Englewood Cliffs, N.J.: Prentice-Hall. 1975. ISBN 9780131646247.

[343] Mannoury, Gerrit (ed.). Signifika: Een Inleiding. Servire. 1949.

[344] Manzano, Marıa. Extensions of first order logic. Cambridge: Cambridge University Press.1996. ISBN 9780521354356.

18

[345] Marciszewski, Witold (ed.). Dictionary of logic as applied in the study of language: con-cepts, methods, theories. The Hague: M. Nijhoff Publishers. 1981. ISBN 9789024721238.

[346] Marek, Wiktor and Janusz Onyszkiewicz (eds.). Elementy logiki i teorii mnogosci wzadaniach. Drukarnia Uniwersytetu Jagiellonskiego. 1972.

[347] Martin, R.M. (ed.). Towards a Systematic Pragmatics. North-Holland Publishing Com-pany. 1959.

[348] Martinich, A. P. (ed.). The Philosophy of language. New York: Oxford University Press.1990. ISBN 9780195062540.

[349] Martinich, A. P. (ed.). The philosophy of language. New York: Oxford University Press.1996. ISBN 9780195093681.

[350] Mates, Benson (ed.). Elementare Logik: Pradikatenlogik der ersten Stufe. Vandenhoeck& Ruprecht. 1965.

[351] Mauw, S. and G. J. Veltink (eds.). Algebraic specification of communication protocols.Cambridge: Cambridge University Press. 1993. ISBN 9780521418836.

[352] Maxwell, James Clerk (ed.). A Treatise on Electricity and Magnetism. Clarendon Press.1904.

[353] Maxwell, James Clerk (ed.). A Treatise on Electricity and Magnetism, Vol. II. ClarendonPress. 1904.

[354] McClelland, James L., David E. Rumelhart and the PDP Research Group. Parallel dis-tributed processing: explorations in the microstructure of cognition. Cambridge, Mass.:MIT Press. 1986. ISBN 9780262631105.

[355] Medawar, Peter B. Grenzen van Wetenschap. Meulenhoff. 1984.

[356] Meixner, Uwe. Axiomatic formal ontology. Dordrecht: Kluwer Academic Publishers. 1997.ISBN 9780792347170. SL 264.

[357] Melham, Thomas F. and Juanito Camilleri (eds.). Higher order logic theorem provingand its applications: 7th international workshop, Valletta, Malta, September 19-22, 1994:proceedings. Berlin: Springer-Verlag. 1994. ISBN 9783540584506. LNCS 859.

[358] Melia, Joseph. Modality. Chesham: Acumen. 2003. ISBN 9781902683485.

[359] Meyer, John-Jules Ch. and W. van der Hoek. Epistemic logic for AI and computer science.Cambridge: Cambridge University Press. 1995. ISBN 9780521460149.

[360] Middelburg, Cornelis A. Logic and specification: extending VDM-SL for advanced formalspecification. London: Chapman & Hall Computing. 1993. ISBN 9780412486807.

[361] Middeldorp, Aart (ed.). Rewriting Techniques & Applications. ISBN 9783540421177.

[362] Milner, Robin. Communication and concurrency. New York: Prentice Hall. 1989. ISBN9780131150072.

[363] Mittelbach, F. The LaTeX Companion. Addison-Wesley. 2004.

19

[364] Mohanty, J. N. Logic, truth and the modalities: from a phenomenological perspective.Dordrecht: Kluwer. 1999. ISBN 9780792355502. SL 278.

[365] Moody, Ernest A. (ed.). Truth and Consequence in Mediaeval Logic. North-HollandPublishing Company. 1953.

[366] Mooij, Antoine. Toerekeningsvatbaarheid: Over Handelingsvrijheid. Psychiatrie &Filosofie Boom. 2004.

[367] Mou, Bo (ed.). Substantive Perspectivism: An Essay on Philosophical Concern with Truth.Springer. 2009. ISBN 9789048126224.

[368] Muller, Gert H. and Wolfgang Lenski (eds.). Ω-Bibliography of mathematical logic I:Classical Logic. Berlin: Springer-Verlag. 1987.

[369] Muller, Gert H. and Wolfgang Lenski (eds.). Ω-Bibliography of mathematical logic II:Non-Classical Logic. Berlin: Springer-Verlag. 1987.

[370] Muller, Gert H. and Wolfgang Lenski (eds.). Ω-Bibliography of mathematical logic III:Model-Theory. Berlin: Springer-Verlag. 1987.

[371] Muller, Gert H. and Wolfgang Lenski (eds.). Ω-Bibliography of mathematical logic IV:Recursion Theory. Berlin: Springer-Verlag. 1987.

[372] Muller, Gert H. and Wolfgang Lenski (eds.). Ω-Bibliography of mathematical logic V: SetTheory. Berlin: Springer-Verlag. 1987.

[373] Muller, Gert H. and Wolfgang Lenski (eds.). Ω-Bibliography of mathematical logic VI:Proof Theory, Constructive Mathematics. Berlin: Springer-Verlag. 1987.

[374] Murthy, T.K.S. et al. (eds.). Computers in railways IV. Southampton: ComputationalMechanics Publications II. 1994. ISBN 9781853123597.

[375] Murthy, T.K.S. et al. (eds.). Computers in railways IV. Southampton: ComputationalMechanics Publications I. 1994. ISBN 9781853123542.

[376] Muskens, Reinhard. Meaning and Partiality. CSLI Publications. 1995.

[377] Myers, Colin, Chris Clack and Ellen Poon. Programming with Standard ML. New York:Prentice Hall. 1993. ISBN 9780137220755.

[378] Nauta, Doede (ed.). Logica en Model: Het Modelbegrip in de Wetenschappen. UitgeverijW. De Haan. 1970.

[379] Nederpelt, R. P. et al. (eds.). Selected papers on Automath. Amsterdam: Elsevier. 1994.ISBN 9780444898227.

[380] Nelson, Lynn Hankinson and Jack Nelson (eds.). Feminism, science, and the philosophyof science. Dordrecht: Kluwer Academic. 1996. ISBN 9780792341628. SL 256.

[381] Neveu, Jacques (ed.). Mathematical Foundations of the Calculus of Probability. Holden-Day Inc. 1965.

[382] Nielsen, M.A. and I.L. Chuang. Quantum computation and quantum information. Cam-bridge University Press. 2000. ISBN 9780521632355.

20

[383] Nijdam, B. (ed.). Statistiek voor sociale wetenschappen 3. Wolters-Noordhoff B.V. 1993.ISBN 9789014048307.

[384] Nijdam, B. (ed.). Statistiek voor de sociale wetenschappen 1. Wolters-Noordhoff B.V.1999. ISBN 9789001635015.

[385] Nijdam, B. and H. van Buren (eds.). Statistiek voor de sociale wetenschappen 2. ISBN9789001635022.

[386] Nijdam, B. and H. van Buren (eds.). Statistiek voor sociale wetenschappen. 1999. ISBN9789014049342.

[387] Nordstrom, Brengt, Kent Petersson and Jan Smith (eds.). An Introduction to Martin-Lof ’s Type Theory. Department of Computer Sciences, University of Goteborg. 1986.

[388] Nute, Donald (ed.). Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers.1997. ISBN 9780792346302. SL 263.

[389] Oberschelp, Arnold (ed.). Aufbau des Zahlensystems. Vandenhoeck & Ruprecht. 1968.

[390] Oberschelp, Arnold. Elementare Logik und Mengenlehre, Band I. Mannheim: Bibli-ographisches Institut. 1974. ISBN 9783411004072.

[391] Odifreddi, Piergiorgio. Classical recursion theory: the theory of functions and sets ofnatural numbers. Amsterdam: North-Holland. 1989. ISBN 9780444872951.

[392] Olin, Doris. Paradox (Central Problems of Philosophy). ISBN 9781902683829.

[393] van Oostrom, Vincent (ed.). Rewriting Techniques and Applications: 15th InternationalConference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Lecture Notesin Computer Science. ISBN 9783540221531.

[394] Osherson, Daniel N. Systems that learn. MIT Press. 1986.

[395] Otto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models (LectureNotes in Logic, 9). ISBN 9783540620372.

[396] Paris, J. B. The uncertain reasoner’s companion: a mathematical perspective. Cambridge:Cambridge University Press. 1994. ISBN 9780521460897.

[397] Partee, Barbara H. (ed.). Montague grammar. New York: Academic Press. 1976. ISBN9780125458504.

[398] Patzig, G. Aristoteles’ Theory of the Syllogisms. Reidel. 1986. SL.

[399] Paulson, Lawrence C. ML for the working programmer. Cambridge: Cambridge UniversityPress. 1996. ISBN 9780521565431.

[400] Pereira, Fernando C. N. and Stuart M. Shieber. Prolog and natural-language analy-sis. Stanford, CA: Center for the Study of Language and Information. 1987. ISBN9780937073186.

[401] Peretyatkin, Mikhail G. Finitely Axiomatizable Theories. Siberian School of Algebra andLogic. 1997.

21

[402] Polos, Laszlo and Michael Masuch (eds.). Applied logic: how, what, and why: logicalapproaches to natural language. Dordrecht: Kluwer Academic Publishers. 1995. ISBN9780792334323. SL 247.

[403] Prawitz, Dag. Natural deduction: a proof-theoretical study. Mineola, N.Y.: Dover Publi-cations. 2006. ISBN 9780486446554.

[404] Prawitz, Dag and Dag Westerstahl (eds.). Logic and philosophy of science in Uppsala:papers from the 9th International Congress of Logic, Methodology, and Philosophy ofScience. Dordrecht: Kluwer Academic Publishers. 1994. ISBN 9780792327028. SL 236.

[405] Preyer, Gerhard, Frank Siebelt and Alexander Ulfig (eds.). Language, mind, and epis-temology: on Donald Davidson’s philosophy. Dordrecht: Kluwer Academic. 1994. ISBN9780792328117. SL 241.

[406] Prior, A. N. and Kit Fine. Worlds, times, and selves. London: Duckworth. 1977. ISBN9780715608227.

[407] Quaife, Art. Automated development of fundamental mathematical theories. Dordrecht:Kluwer Academic. 1992. ISBN 9780792320210.

[408] Quine, Willard Van Orman (ed.). Mathematical Logic. W.W. Norton & Company. 1940.

[409] Quine, Willard Van Orman (ed.). Methods of Logic. Henry Holt & Company. 1950.

[410] Quine, Willard Van Orman. Pursuit of truth. Cambridge, Mass.: Harvard UniversityPress. 1992. ISBN 9780674739512.

[411] Ramsey, Frank Plumpton (ed.). The Foundations of Mathematics. Routledgee & KeganPaul Ldt. 1950.

[412] Rao, C. Radhakrishna (ed.). Linear Statistical Inference and its Application. John Wiley& Sons Inc. 1965.

[413] Rashevsky, Nicolas (ed.). Mathematical Principles in Biology and their Applications.Charles C. Thomas Publisher. 1961.

[414] Rasiowa, Helena. An algebraic approach to non-classical logics. Amsterdam: North-Holland. 1974. ISBN 9780720422641.

[415] Rautenberg, Wolfgang. A concise introduction to mathematical logic. New York, NY:Springer. 2006. ISBN 9780387302942.

[416] Rautenberg, Wolfgang. Einfuhrung in die Mathematische Logik. Vieweg Teubner. 2008.ISBN 9783528067540.

[417] Reichenbach, Hans (ed.). Wahrscheinlichkeitslehre. A.W. Sijthoffs Uitgeversmaatschappij.1935.

[418] Reichenbach, Hans (ed.). Nomological Statements an Admissible Operations. North-Holland Publishing. 1954.

[419] Reid, Constance. Courant in Gottingen and New York: the story of an improbable math-ematician. New York: Springer-Verlag. 1976. ISBN 9780387901947.

22

[420] Reid, Constance. Neyman–from life. New York: Springer-Verlag. 1982. ISBN9780387907475.

[421] Renyi, Alfred (ed.). Foundations of Probability. Holden-Day Inc. 1970.

[422] Rescher, Nicholas. Topics in Philosophical Logic. Reidel. 1968. SL.

[423] Reyes, Gonzalo E. (ed.). Sheaves and Concepts: A Model-theoretic Interpretation ofGrothendieck Topoi. Matematisk Institut, Aarhus Universitet. 1975.

[424] de Rijke, Maarten (ed.). Diamonds and defaults: studies in pure and applied intensionallogic. Dordrecht: Kluwer Academic Publishers. 1993. ISBN 9780792323426. SL 229.

[425] Riley, David. The object of Java: introduction to programming using software engineeringprinciples. Boston, MA: Addison-Wesley. 2002. ISBN 9780201715859.

[426] Robinson, Abraham (ed.). On the Metamathematics of Algebra. North-Holland PublishingCompany. 1951.

[427] Rodding, Dieter (ed.). Reduktionstypen der Pradikatenlogik. Westfalische Wilhelms-Universitat Munster, Institut fur mathematische Logik und Grundlagenforschung. 1969.

[428] Roero, Clara Silvia. L’Opera Omnia di Giuseppe Peano. Dipartimento di MatematicaUniversita di Torino. 2002. CD.

[429] Rogers, Hartley and Jr. Theory of recursive functions and effective computability. Cam-bridge, Mass.: MIT Press. 1987. ISBN 9780262680523.

[430] Rojszczak, Artur. From the Act of Judging to the Sentence: The Problem of Truth Bearersfrom Bolzano to Tarski. Synthese Library. ISBN 9781402033964. SL 328.

[431] Rose, H.E. Subrecursion Function and Hierarchies. Clarendon Press: Oxford. 1984.

[432] Rosser, John Barkley (ed.). Logics for Mathematicians. McGraw-Hill Book Company Inc.1953.

[433] Rosser, John Barkley and A.R. Turquette (eds.). Many-valued Logics. North-HollandPublishing Company. 1952.

[434] Routledge. Concise Routledge Encyclopedia of Philosophy. Routledge. 2000.

[435] Rubin, H. and J. Rubin (eds.). Equivalents of the Axioms of Choice. North-HollandPublishing Company. 1963.

[436] Rucker, Rudolf V.B. Infinity and the Mind: The Science and Philosophy of the Infinite.Penguin Science. ISBN 9780140262957.

[437] Rumelhart, David E., James L. McClelland and the PDP Research Group. Parallel dis-tributed processing: explorations in the microstructure of cognition. Cambridge, Mass.:MIT Press. 1986. ISBN 9780262680530.

[438] Russell, Bertrand (ed.). Einfuhrung in die Mathematische Philosophie. Drei MaskenVerlag. 1930.

[439] Russell, Bertrand (ed.). The Principles of Mathematics. George Allen & Unwin Ltd. 1950.

23

[440] Ruttkamp, Emma. A Model-Theoretic Realist Interpretation of Science. Kluwer AcademicPublishers. 2002. SL 311.

[441] Ruzsa, Imre (ed.). Intensional loic revisited. 1991.

[442] Rybakov, Vladimir V. Admissibility of logical inference rules. Amsterdam: North Hol-land/Elsevier. 1997. ISBN 9780444895059.

[443] Sainsbury, Mark. Logical forms: an introduction to philosophical logic. Oxford, UK:Blackwell. 2001. ISBN 9780631216797.

[444] Salmon, Merrilee H. et al. Introduction to the philosophy of science: a text by the membersof the Department of the History and Philosophy of Science of the University of Pittsburgh.Indianapolis: Hackett Pub. Co. 1999. ISBN 9780872204508.

[445] Sarlemijn, A. (ed.). Logica: grondbeginselen en toepassingen. Van Gorcum. 1997. ISBN9789023233169.

[446] Schildt, Herbert. Java: A Beginner’s Guide, Third Edition (Beginner’s Guide). ISBN9780072231892.

[447] Schoning, Uwe. Logic for computer scientists. Boston: Birkhauser. 1989. ISBN9780817634537.

[448] Schubert (ed.). Kategorien I. Springer. 1970.

[449] Schubert (ed.). Kategorien II. Springer. 1970.

[450] Schwichtenberg, Helmut (ed.). Proof and computation. Berlin: Springer. 1995. ISBN9783540585817.

[451] Scown, Susan J. (ed.). The Artificial Intelligence Experience: An Introduction. DigitalEquipment Corporation. 1985.

[452] Searleman, Alan and Douglas J. Herrmann. Memory from a Broader Perspective. Mc-Graw. 1994. ISBN 9780071136952.

[453] Serebryannikov, O.F. (ed.). Heuristic Principles and Logical Calculi. Israel Program forScientific Translations. 1972. ISBN 9780706512779.

[454] Sestito, Sabrina, Tharam S. Dillon: developed and edited by Knowledge Systems Re-search. Automated knowledge acquisition. New York: Prentice Hall. 1994. ISBN9780133011364.

[455] Shabel, Lisa A. Mathematics in Kant’s Critical Philosophy: Reflections on MathematicalPractice. Routledge. 2003.

[456] Shanker. Metamathematics, Machines and Goedel’s Proof. Cambridge University Press.1994.

[457] Shaw, Mary and David Garlan: [foreword by Barry Boehm]. Software architecture: pe-spectives on an emerging discipline. Upper Saddle River, N.J.: Prentice Hall. 1996. ISBN9780131829572.

[458] Shin, Sun-Joo. The logical status of diagrams. Cambridge: Cambridge University Press.1994. ISBN 9780521461573.

24

[459] Simpson, Stephen G. Subsystems of second order arithmetic. Berlin: Springer. 1999. ISBN9783540648826.

[460] Sipser, Michael. Introduction to the theory of computation. Boston: PWS Pub. Co. 1997.ISBN 9780534947286.

[461] Smirnow, W.I. (ed.). Lehrgang der Hoheren Mathematik, Teil III. VEB Deutscher Verlagder Wissenschaften. 1961.

[462] Smirnow, W.I. (ed.). Lehrgang der Hoheren Mathematik, Teil V. VEB Deutscher Verlagder Wissenschaften. 1962.

[463] Smirnow, W.I. (ed.). Lehrgang der Hoheren Mathematik, Teil I. VEB Deutscher Verlagder Wissenschaften. 1963.

[464] Smirnow, W.I. (ed.). Lehrgang der Hoheren Mathematik, Teil IV. VEB Deutscher Verlagder Wissenschaften. 1963.

[465] Smirnow, W.I. (ed.). Lehrgang der Hoheren Mathematik, Teil II. VEB Deutscher Verlagder Wissenschaften. 1964.

[466] Smirnow, W.I. (ed.). Lehrgang der Hoheren Mathematik, Teil III. VEB Deutscher Verlagder Wissenschaften. 1964.

[467] Smorynski, Craig. Logical Number Theory: An Introduction. Springer. 1931.

[468] Sommerville, Ian. Software engineering. Wokingham, England: Addison-Wesley Pub. Co.1996. ISBN 9780201427653.

[469] Sorbi, Andrea (ed.). Complexity, logic, and recursion theory. New York: Marcel Dekker.1997. ISBN 9780824700263.

[470] Spencer-Smith, Richard. Logic of Prolog: Instructor’s Manual. Harvester. 1991. ISBN9780745010328.

[471] Spisani, Franco (ed.). General Theory of Directed Numbers. International Logic Review.1983.

[472] Sprenger, Klaus-Hilmar (ed.). Hierarchies of Primitive Recursive Functions on TermAlgebras.

[473] Srzednicki, Jan. To know or not to know: beyond realism and anti-realism. Dordrecht:Kluwer Academic. 1995. ISBN 9780792329091. SL 244.

[474] Srzednicki, Jan T.J. Lesniewski’s Systems: Ontology and Mereology. Marinus NijhoffPublishers. 1984.

[475] Steinhart, Eric Charles. The logic of metaphor: analogous parts of possible worlds. Dor-drecht: Kluwer Academic Publishers. 2001. ISBN 9780792370048. SL 299.

[476] van Stigt, Walter. Success in mathematics. J. Murray. 1974. ISBN 9780719529238.

[477] Storcken, A.J.A. and Harrie C.M. de Swart (eds.). Verkiezingen, agenda’s en manipulatie.Epsilon Uitgaven. ISBN 9789050410298.

25

[478] Sussmann, Georg. Eine Grundlegung der Mengentheorie. Philosophical Society Finland.2004.

[479] de Swart, Harrie C.M. Inleiding tot de symbolische logica (Terreinverkenningen in defilosofie: 1) (Dutch Edition). ISBN 9789023214212.

[480] de Swart, Harrie C.M. Logic and Computer Science. ISBN 9783631454350.

[481] de Swart, Harrie C.M. Logic: Mathematics, Language, Computer Science and Philosophy.ISBN 9783631454343.

[482] de Swart, H.C.M. and L.J.M. Bergmans. Perspectives on Negation. Tilburg UniversityPress. 1995.

[483] Szabo. Albegra of Proofs. North-Holland Publishing. 1978.

[484] Tallet, J. A. The possible universe. Lanham, Md.: University Press of America. 1997.ISBN 9780761806653.

[485] Tarski, Alfred (ed.). Einfuhrung in die Mathematische Logik und die Methodologie derMathematik. Springer. 1937.

[486] Tarski, Alfred (ed.). Inleiding tot de Logica. Noord-Hollandsche Uitgevers Maatschaapij.1953.

[487] Tarski, Alfred. Logic, Semantics, Metamathematics. Clarendon Press: Oxford. 1956.

[488] Taschner, Rudolf J. Lehrgang der konstruktiven Mathematik. Teil 2: Differentialrechnung.

[489] Taschner, Rudolf J. Lehrgang der konstruktiven Mathematik. Teil I: Zahl und Kontinuum.

[490] Taschner, Rudolf J. (ed.). Lehrgang der konstruktiven Mathematik. Teil III: Funktionen.

[491] Tavanec, P.V. Problems of the Logic of Scientific Knowledge. Reidel. 1970. SL.

[492] Taylor, Paul. Practical foundations of mathematics. Cambridge: Cambridge UniversityPress. 1999. ISBN 9780521631075.

[493] Terano, Toshiro, Kiyoji Asai and Michio Sugeno: translated by Charles G. Aschmann(eds.). Applied fuzzy systems. Boston: AP Professional. 1994. ISBN 9780126852424.

[494] Terese. Term Rewriting Systems. Cambridge University Press. 2003.

[495] Toledo, S.A. Tableau Systems for First Order Number Theory and Certain Higher OrderTheories. Lecture Notes in Mathematics. ISBN 9783540071495.

[496] Trakhtenbrot, B.A. (ed.). Algorithms and Automatic Computing Machines. D.C. Heathand Company. 1963.

[497] Treffers, Adriaan (ed.). Wiskobas Doelgericht. Instituut voor Ontwikkeling van hetWiskunde Onderwijs Utrecht. 1978.

[498] Troelstra, Anne Sjerp and Dirk van Dalen (eds.). The L. E. J. Brouwer Centenary Sympo-sium: proceedings of the conference held in Noordwijkerhout, 8-13 June 1981. Amsterdam:North-Holland Pub. Co. 1982. ISBN 9780444864949.

26

[499] Troelstra, A.S. and H. Schwichtenberg. Basic Proof Theory. Cambridge University Press.1996.

[500] Tukey, Jon W. (ed.). Convergence and Uniformity in Topology. Princeton UniversityPress. 1940.

[501] Ullman, Jeffrey D. and Jennifer Widom. A first course in database systems. Upper SaddleRiver, N.J.: Prentice Hall. 1997. ISBN 9780138613372.

[502] Verbeek, Theo and Erik-Jan Bos. The Correspondence of Rene Descartes. ZENO Institute.2003.

[503] Verkuil. Semantiek: Het Verband Tussen Pb (Dutch Edition). Serie Weten. ISBN9789053564158.

[504] Vickers, Steven. Topology via logic. Cambridge Cambridge University Press cop. 1996.ISBN 9780521576512.

[505] van Vliet, J.C. Colloquium capita datastructuren. Mc Syllabus. 1978.

[506] Wald, Abraham (ed.). Sequential Analysis. John Wiley & Sons Inc. 1959.

[507] Wald, Abraham (ed.). Statistical Decision Functions. John Wiley & Sons Inc. 1961.

[508] Wand, Ian and Robin Milner (eds.). Computing tomorrow: future research directions incomputer science. Cambridge: Cambridge University Press. 1996. ISBN 9780521460859.

[509] Whitehead and B. Russell (eds.). Principia Mathematica. Cambridge University Press.1973.

[510] Williams, A. G. Prys. Applicable inductive logic. London: Edsall. 1982. ISBN9780902623330.

[511] van Willigenburg, T. Inside the Ethical Expert Problem Solving in Applied Ethics. ISBN9789039000021.

[512] Winder, Russel and Graham Roberts. Developing Java software. Chichester: John Wiley& Sons. 2000. ISBN 9780471606963.

[513] Winograd, Terry and Fernando Flores. Understanding computers and cognition: a newfoundation for design. Norwood, N.J: Ablex Pub. Corp. 1986. ISBN 9780893910501.

[514] Winston, Patrick Henry. Artificial intelligence. Reading, Mass.: Addison-Wesley. 1993.ISBN 9780201600865.

[515] Wirsing, Martin, Maurice Nivat and eds. Algebraic methodology and software technology:5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996: proceedings.Berlin: Springer-Verlag. 1996. ISBN 9783540614630. LNCS 1101.

[516] Wisniewski, Andrzej. The posing of questions: logical foundations of erotetic inferences.Dordrecht: Kluwer Academic Publishers. 1995. ISBN 9780792336372. SL 252.

[517] Witting, H. (ed.). Mathematische Statistik. B.G. Teubner. 1966.

[518] Wolenski, Jan (ed.). Philosophical logic in Poland. Dordrecht: Kluwer Academic Pub-lishers. 1994. ISBN 9780792322931. SL 228.

27

[519] Wolper, Pierre (ed.). Computer aided verification: 7th International Conference, CAV’95, Liege, Belgium, July 3-5, 1995: proceedings. Berlin: Springer-Verlag. 1995. ISBN9783540600459. LNCS 939.

[520] Wos, Larry. Automated reasoning: 33 basic research problems. Englewood Cliffs, N.J.:Prentice-Hall. 1988. ISBN 9780130545527.

[521] Yasugi, Mariko, Gaisi Takeuti and Nicholas Passell. Memoirs of a Proof Theorist: Goedeland Other Logicians. World Scientific. 2003. ISBN 9789812382795.

[522] Young, James O. Global Anti-Realism (Avebury Series in Philosophy). ISBN9781859720585.

[523] Zwart, Sjoerd D. Refined verisimilitude. Dordrecht: Kluwer Academic. 2001. ISBN9781402002687. SL 307.

28