Intuïtionisme en formalisme / door L.E.J. BrouwerExacte logica / door Hans FreudenthalProof theory / Gaisi TakeutiRuimteleer en axiomatiek / door A. HeytingInleiding tot de verzamelingenleer, het keuze-axioma en de continuumhypothese / Jean Paul van BendegemDe logische grondslagen der wiskunde / Richardus Johannes KortmulderSimplicial algorithms on the simplotope / Timothy Mark DoupFormele logika : een inleiding / Willem R. de JongUntersuchungen über intuitionistische Algebra / von A. HeytingLogique moderne / Jean-Blaise GrizeCategories, polymorphism and unification / Ewan Klein & Johan van Benthem, edsSemantical essays : possible worlds and their rivals / M.J. CresswellType assignment functions / Mirjam GerritsenClassical recursion theory / P.G. OdifreddiFuzzy mathematical models in engineering and management science / Arnold Kaufmann, Madan M. GuptaSimplicial algorithms on the simplotope / door Timothy DoupInleiding tot de leer der verzamelingen / door B.P. Haalmeijer en J.H. SchogtLogique moderne / Jean-Blaise GrizeType theoretical topics in topos theory / door Ferdinand Jan de VriesBewijzen in de wiskunde / onder red. van P.W.H. LemmensITLI prepublication seriesComputability, complexity, logic / E. Börger ; [transl. from the German]Weak and strong sum-elimination in intuitionistic type theory / Marco Dorotheus Gerardus SwaenClustering and uniqueness in mathematical models of percolation phenomena / Alberto GandolfiThe semantic foundations of logic / Richard L. EpsteinAlmost free modules : set-theoretic methods / Paul C. Eklof, Alan H. MeklerUniversal algebra and model theory: two excursions on the border / [by] J.F.A.K. van BenthemUniversal algebra / [by] P. M. CohnThe new elements of mathematics / Charles S. PeirceThe new elements of mathematics / Charles S. PeirceThe new elements of mathematics / Charles S. PeirceModel theory / C.C. Chang and H.J. KeislerReasoning with fuzzy logic / Johannes HellendoornPredicates and fibrations : from type theoretical to category theoretical presentation of constructive logic / Duško PavlovićJournal of logic, language and information : official journal of the European Foundation for Logic, Language and InformationFuzzy set theory- and its applications / H.-J. ZimmermannLanguage in action : categories, lambdas and dynamic logic / Johan van BenthemZur Begründung der intuitionistischen MathematikExercises in realizability / Jakobus van OostenTruth, possibility and probability : new logical foundations of probability and statistical inference / Rolando Chuaqui