Huvudmeny

Bokliv

2 böcker

Aritmetik Avancerad aritmetik Bokförlaget thales Bokliv Logik och språklig orienterad filosofi Matematik Symbolic and mathematical logic Symbolisk logik

Böcker om Avancerad aritmetik

Layout:
Dag Prawitz : ABC i symbolisk logik : logikens språk och grundbegrepp
Bokliv Dag Prawitz ABC i symbolisk logik : logikens språk och grundbegrepp
Boken erbjuder en grundläggande introduktion till symbolisk logik och dess språk, med fokus på logiska begrepp och översättning mellan svenska och logiska uttryck.
239 kr
Per Lindström : First-Order Logic
Bokliv Per Lindström First-Order Logic
Boken utforskar grunderna i första ordningens logik och dess tillämpningar inom olika områden.
188 kr

Senast besökta