Intuitionism - An IntroductionA. HeytingI. Disputation II. Arithmetic III. Spreads and species IV. Algebra V. Plane pointspecies VI. Measure and integration VII. Logic VIII. Controversial subjects

Outlines of the History of Greek PhilosophyEduard ZellerIntroduction 1. The Pre-Socratic Philosophy 2. The Attic Philosophy and the Socratics. Plato. Aristotle 3. Hellenistic Philosophy. The Stoa. The Later Cynicism. Epicureanism. Scepticism. Eclecticism 4. The Philosophy of the Roman Empire

Formele logica - Een informele inleidingDr. D. van Dalen

Een nacht vol opwinding - Een keuze uit de filosofische essaysHenri Poincaré1. Selectie van feiten 2. De toekomst van de wiskunde 3. Uitvinding in de wiskunde 4. Wiskundige definities en onderwijs 5. Toeval 6. Over de aard van wiskundig redeneren 7. Wiskundig concept en ervaring 8. Intuïtie en logica bij wiskunde 9. De evolutie van de wetten

L.E.J. Brouwer -Een biografieDirk van Dalen1. Jeugd en schooljaren 2. Studie en studententijd 3. Mystiek 4. De dissertatie 5. Naar de wiskundige top 6. De universitaire carrière 7. Ontwikkeling in isolement 8. Wetenschap en politiek 9. Het onderzoekscentrum Blaricum 10. Dimensietheorie en grondslagenstrijd 11. Götterdämmerung 12. Verloren jaren 13. Universiteit in oorlogstijd 14. Zuivering en reorganisatie 15. Strijd en erkenning

Elements of IntuitionismMichael Dummett1. Preliminaries 2. Elementary Intuitionistic Mathematics 3. Choice Sequences and Spreads 4. The Formalization of Intuitionistic Logic 5. The Semantics of Intuitionistic Logic 6. Some Further Topics 7. Concluding Philosophical Remarks

Leibniz: Metaphysics and Philosophy of ScienceR.S. Woolhouse (ed.)The Discourse on Metaphysics and the Correspondence with Arnauld together form the best introduction to Leibniz's thought. This collection includes essays which taken together cover most of hte central themes of these related works and provide a groundwork of exegesis, explanation, and criticism essential for the student of Leibniz and his ideas. I. Leibniz and the logical argument for individual substances / John W. Nason II. Me...

L.E.J. Brouwer over de grondslagen der wiskundeD. van Dalen (red.)Uitgegeven ter gelegenheid van het honderste geboortejaar van L.E.J. Brouwer Inleiding De Brouwer-Korteweg correspondentie betreffende de dissertatie Ongepubliceerde fragmenten Over de Grondslagen der Wiskunde Boekbesprekingen van de hand van G. Mannoury

IntuitionismA. HeytingI. Disputation II. Arithmetic III. Spreads and species IV. Algebra V. Plane pointspecies VI. Measure and integration VII. Logic VIII. Controversial subjects

Inleiding in de MathesisDr. E.M. Bruins1. Elementaire analytische meetkunde 2. Differentiaalrekening 3. Complexe getallen 4. Hogere machtsvergelijkingen 5. Omhulden 6. Oneindige verzamelingen en haar afbeeldingen 7. Oneindige reeksen 8. De reeks van Taylor 9. Primitieve functies 10. Integraalrekening 11. Determinanten, lineaire vergelijkingen, eliminanten 12. Enkele meetkundige eigenschappen 13. Puntenparen en kegelsneden 14. Gewone en singuliere punten van vlakke krommen 15. Elementaire analyti...

History of Mathematical Logic from Leibniz to PeanoN.I. Styazhkin1. The Development of Mathematical Logic During the Middle Ages in Europe 2. Leibniz, The Founder of Symbolic Logic 3. The Development of Symbolic Logic After Leibniz; the Seventeenth and Eightteenth Centuries 4. Forerunners of the Algebra of Logic of George Boole 5. George Boole's Calculus of Classes 6. The Development of the Algebra of Logic After Boole at the End of the Nineteenth Century

Moderne logicaDr. E.W. BethI. Het fundamentele criterium voor bewijskracht II. Inferentiële en klassieke logica III. Het bewijs uit het ongerijmde IV. Het probleem van Locke-Berkeley V. Over de zogenaamde denkmachine VI. De paradoxen VII. Verstand en intuïtie VIII. Geformaliseerde talen en normaal taalgebruik IX. Beschouwingen over het logisch denken X. Constanten van het wiskundige denken

Inleiding tot de LogicaA. TarskiNederlandse bewerking door E.W. Beth 1. Elementen der logica. De deductieve methode 2. Toepassingen van logica en methodeleer bij de opbouw van wiskundige theorieën

Quantoren, Modalitäten, Paradoxien - Beiträge zur LogikHorst Wessel (ed.)

Oneindigheid - Filosofie en wetenschap van het oneindigeRudy Rucker1. Oneindigheid 2. Alle getallen 3. Het onbenoembare 4. Robot en ziel 5. Het Ene en het Vele Appendix I: De transfiniete kardinaalgetallen Appendix II: De onvolledigheidsstellingen van Gödel

Combinatory Logic, Vol. 1Haskell B. Curry, Robert Feys, William Craig1. Formal Systems 2. Epitheory 3. Lambda-Conversion 4. The Church-Rosser Theorem 5. Intuitive Theory of Combinatorics 6. Synthetic Theory of Combinatorics 7. Logistic Foundations 8. Introduction to Illative Combinatory Logic 9. The Basic Theory of Functionality 10. The Stronger Theories of Functionality

Summulae logicalesDr. E.W. BethI. Inleiding II. De logica der proposities III. De logica der eigenschappen IV. De logica der relaties V. Historische aantekeningen VI. De kategorieën

Logica voor informaticaJ.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting, J.S. Lodder, W.P.M. Meyer-Viol1. Inleiding 2. Propositielogica 3. Predikaatlogica 4. Voorbij de predikaatlogica 5. Logica en programmeren 6. Logica en kunstmatige intelligentie 7. Tot besluit

Exacte logicaProf. Dr. Hans Freudenthal1. Verzamelingen en afbeeldingen 2. Proposities 3. Subject-predicaat 4. Formele logica 5. Taal en meta-taal 6. Oplossingen

Inleiding tot de symbolische logicaH.C.M. de Swart, H.G. HubbelingI. De Uitspraakrekening II. De Predicatenrekening III. De Onvolledigheids-stelling IV. Enkele bijzondere stystemen die met name voor de wijsbegeerte van belang zijn Antwoorden bij de oefeningen