Søk
Stig Andur Pedersen
Har forfattet følgende artikler:
Abraham Robinson (Den Store Danske)
A-dom (Den Store Danske)
afgørbarhed (Den Store Danske)
aksiomsystem (Den Store Danske)
Alfred Tarski (Den Store Danske)
Alonzo Church (Den Store Danske)
alternation (Den Store Danske)
antecedent (Den Store Danske)
antilogisme (Den Store Danske)
apagogisk bevis (Den Store Danske)
apodiktisk udsagn (Den Store Danske)
aristotelisk logik (Den Store Danske)
assertionstegn (Den Store Danske)
assertorisk udsagn (Den Store Danske)
atomart udsagn (Den Store Danske)
Augustus De Morgan (Den Store Danske)
bevis – logisk begreb (Den Store Danske)
bevisteori (Den Store Danske)
boolesk algebra (Den Store Danske)
circulus vitiosus (Den Store Danske)
cirkelbevis (Den Store Danske)
consequentia (Den Store Danske)
contradictio in adjecto – logisk modsigelse (Den Store Danske)
copula (Den Store Danske)
deduktion (Den Store Danske)
deduktionsteorem (Den Store Danske)
deduktivt system (Den Store Danske)
De Morgans love (Den Store Danske)
dialogisk logik (Den Store Danske)
dictum de omni et nullo (Den Store Danske)
disjunktion (Den Store Danske)
divalent logik (Den Store Danske)
dom – udsagn (Den Store Danske)
domslogik (Den Store Danske)
E-dom (Den Store Danske)
eksistensbevis (Den Store Danske)
eksistenskvantor (Den Store Danske)
enten-eller (Den Store Danske)
epagoge (Den Store Danske)
Ernst Zermelo (Den Store Danske)
eulerske cirkler (Den Store Danske)
Evert W. Beth (Den Store Danske)
George Boole (Den Store Danske)
Gerhard Gentzen (Den Store Danske)
Gottlob Frege (Den Store Danske)
Gödels sætning (Den Store Danske)
Haskell Brooks Curry (Den Store Danske)
intuitionistisk logik (Den Store Danske)
Jacques Herbrand (Den Store Danske)
kombinatorisk logik (Den Store Danske)
konstruktivistisk logik (Den Store Danske)
Kurt Gödel (Den Store Danske)
logik (Den Store Danske)
logisk algebra (Den Store Danske)
Louis Couturat (Den Store Danske)
matematik (filosofi og grundlag) (Den Store Danske)
modallogik (Den Store Danske)
paradoks (Den Store Danske)
Paul Lorenzen (Den Store Danske)
polyvalent logik (Den Store Danske)
prædikatslogik (Den Store Danske)
relationslogik (Den Store Danske)
Skolem-Löwenheims sætning (Den Store Danske)
Thoralf Skolem (Den Store Danske)
typeteori (Den Store Danske)
udsagnslogik (Den Store Danske)
Willard Van Orman Quine (Den Store Danske)
Yehoshua Bar-Hillel (Den Store Danske)