1MA027 · 5 hp · Grundnivå

Logik och bevisteknik I

Litteraturlista giltig från hösten 2025

Hämtad från uu.se 14 okt. 2026 · Visa originalet på uu.se

Kommentarer från kursen
  • Huvudgrupp 1: Referenslitteratur:
  • Huvudgrupp 1: D. van Dalen: Logic and Structure. 3rd ed.,Springer 1997.
  • Huvudgrupp 1: R. M. Smullyan: First-order Logic. Dover 1995.
  • Huvudgrupp 1: D. J. Velleman: How to prove it. Cambridge University Press 1994.

Obligatorisk litteratur

Huvudgrupp 1

  • Mathematical Logic

    Trolig upplaga

    Hodges, Wilfrid; Chiswell, Ian · Oxford University Press · 2007

    ISBN 9780199215621 · tryckt

    Så står det på listan

    Hodges, Wilfrid; Chiswell, Ian, Mathematical Logic, Oxford University Press, 2007

Uppskattad kostnad

Obligatoriska böcker

Vi har inga priser ännu – bara länkar till butikerna. Priser kommer när butikernas produktflöden är på plats.

Fel eller saknad lista?

Berätta vad som är fel, eller klistra in kursens litteraturlista. Vi granskar allt innan det publiceras. Skriv inga personuppgifter.

1MA027 Logik och bevisteknik I – kurslitteratur | LitBook