Gebruiker:WimBarbier/Boeken/Logica
Uiterlijk
Deze pagina bevat een lijst van geselecteerde artikelen voor het maken van een boek. Voor hergebruik: kies boek laden uit het navigatieblok. Zie ook Help:Boeken
Logica[bewerken | brontekst bewerken]
- Inleiding
- Geschiedenis van de logica
- Logica
- Soorten
- Booleaanse algebra
- Modale logica
- Niet-monotone logica
- Paraconsistente logica
- Predicatenlogica
- Preferentiële logica
- Propositielogica
- Tijdslogica
- Wiskunde
- Axiomaschema
- Beschrijvende verzamelingenleer
- Combinatorische logica
- Interpretatie (logica)
- Metawiskunde
- Onvolledigheidsstellingen van Gödel
- Wiskundige logica
- Informatica
- Assertie
- Hoarelogica
- Horn-clausule
- Intuïtionisme
- Meerwaardige logica
- Vervulbaarheidsprobleem
- Logici
- Lijst van logici
- Wilhelm Ackermann
- Grant Allen
- Aristoteles
- Francis Bacon (wetenschapper)
- Benedikt Löwe
- Johan van Benthem
- Paul Bernays
- Nikolaus I Bernoulli
- Evert Willem Beth
- George Boole
- Alfons Borgers
- Luitzen Egbertus Jan Brouwer
- Johannes Buridanus
- Georg Cantor
- Rudolf Carnap
- Alonzo Church
- Jacob Clay
- Haskell Brooks Curry
- Dirk van Dalen
- Augustus De Morgan
- Gottlob Frege
- Gerhard Gentzen
- Kurt Gödel
- Georg Wilhelm Friedrich Hegel
- Gerard Heymans
- Arend Heyting
- David Hilbert
- William Stanley Jevons
- Alberto Jori
- Saul Kripke
- Kazimierz Kuratowski
- L.T.F. Gamut
- Gottfried Wilhelm Leibniz
- Martin Löb
- Jan Łukasiewicz
- Gerrit Mannoury
- John Stuart Mill
- Doede Nauta
- Stephen Neale
- Arnold Oberschelp
- Cornelis Willem Opzoomer
- Giuseppe Peano
- Charles Peirce
- Jean Piaget
- Henri Poincaré
- Karl Popper
- Hans Reichenbach
- Bertrand Russell
- Fjodor Sjtsjerbatskoj
- Alfred Tarski
- Alan Turing
- Jean Van Heijenoort
- John Venn
- Alfred North Whitehead
- Ludwig Wittgenstein