Semi-complete termherschrijfsystemen / J.A. Bergstra, J.W. KlopMathematical intuition : phenomenology and mathematical knowledge / Richard L. TieszenTermherschrijfsystemen / J.A. Bergstra, J.W. Klop, A. MiddeldorpWeak and strong sum-elimination in intuitionistic type theory / Marco Dorotheus Gerardus SwaenThe semantic foundations of logic / Richard L. EpsteinAugustus De Morgan and the logic of relations / Daniel D. MerrilGödel, Escher, Bach : een eeuwige gouden band / [door] Douglas R. Hofstadter ; [vert. uit het Engels door Ronald Jonkers]Reasoning with fuzzy logic / Johannes HellendoornLobbying and asymmetric information / Jan Potters and Frans van WindenRecursive functionals / Luis E. SanchisFinite and infinite combinatorics in sets and logic / ed. by N.W. Sauer, R.E. Woodrow and B. SandsPartiality in logic and computation : aspects of undefinedness / Jan KuperInvestigating bounded contraction / Andreja PrijateljConstructing refinement operators by decomposing logical implication / S.H. Nienhuys-Cheng, P.R.J. v.d. Laag and L.W.N. v.d. TorreThe balance of situated action and formal instruction for learning conditional reasoning / Jelke van der PalHandbook of logic and language / ed. by Johan van Benthem, Alice ter MeulenFrontiers of combining systems : first international workshop, Munich, March 1996 / ed. by Frans [i.e. Franz] Baader and Klaus U. SchulzAn axiomatic theory for information retrieval / Theodorus Wilhelmus Charles HuibersMulti-dimensional modal logic / by Maarten Marx and Yde VenemaThe evolution of type theory in logic and mathematics / Twan Dismas Laurens LaanQuantum logic in algebraic approach / by Miklós RédeiLogic and bisimulation / Marcus Johannes HollenbergLogica en informatica 2 / [cursusteam: J.S. Lodder, cursusteamleider en auteur ; A.H.D.M. van Gijsel, red.]Logica en informatica 2 / J.S. LodderLogica en informatica 2 / J.S. LodderCategorical logic and type theory / Bart JacobsInformation retrieval: uncertainty and logics : advanced models for the representation and retrieval of information / ed. by Fabio Crestani, Mounia Lalmas, Cornelis Joost van RijsbergenUNITY in diversity : a stratified approach to the verification of distributed algorithms / Tanja Ernestina Jozefina VosPhenomenology of choice sequences / Markus Sebastiaan Paul Rogier van AttenObject-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow / Jan ZwanenburgLogica in de praktijk / Elias ThijsseComputable structures and the hyperarithmetical hierarchy / C.J. Ash, J. KnightThe journal of logic and algebraic programmingE. W. Beth als logicus / Paul van UlsenFrom Peirce to Skolem : a neglected chapter in the history of logic / Geraldine BradyLectures on mathematical logic / Walter FelscherSequents and link graphs : contraction criteria for refinements of multiplicative linear logic / Geert-Willem Quintijn PuiteDiscrete wiskunde A / [cursusteam E.M. van de Vrie ... et al.]De logica het werk laten doen / Sjoerd Verduyn LunelDiscrete wiskunde B / [cursusteam E.M. van de Vrie ... et al.]