Swedish name: Logik och formella metoder
This syllabus is valid: 2022-05-30 and until further notice
Course code: 1FL126
Credit points: 7.5
Education level: First cycle
Main Field of Study and progress level:
Philosophy: First cycle, has less than 60 credits in first-cycle course/s as entry requirements
Grading scale: Pass with distinction, Pass, Fail
Responsible department: Department of Historical, Philosophical and Religious Studies
Established by: Faculty director of studies, Faculty of arts, 2021-11-30
Diskret matematik och diskreta modeller
Eriksson Kimmo, Gavel Hillevi
2. uppl. : Lund : Studentlitteratur : 2013 : 327 s. :
ISBN: 9789144089997
Mandatory
Search the University Library catalogue
Parsons Terence
An Exposition of Symbolic Logic: With Kalish-Montague Derivations
2013 :
Mandatory
Diskret matematik och diskreta modeller
Eriksson Kimmo, Gavel Hillevi
2. uppl. : Lund : Studentlitteratur : 2013 : 327 s. :
ISBN: 9789144089997
Mandatory
Search the University Library catalogue
Language, Proof and Logic med tillhörande programvara
Barker-Plummer D, Barwise J, Etchemendy J
Chicago: The University of Chicago Press : 2011 :
Mandatory
This website uses cookies which are stored in your browser. Some cookies are necessary for the page to work properly and others are selectable. You choose which ones you want to allow.