Andrzej Indrzejczak Forfatter

Visning: Type : Alle | Sprog : Engelsk | Format : Hardback Der vises kun varer på engelsk

• 

  PRIS

  590,- kr

  FRAGT FRA 39,-

  Levering: 6 - 9 hverdage

  Bemærk: Kan leveres før jul.

  Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Bog, Hardback, Engelsk)

  Af: Andrzej Indrzejczak

  This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

  PRIS

  590,- kr

  FRAGT FRA 39,-

  Levering: 6 - 9 hverdage

  Læg i kurv
• 

  PRIS

  2.147,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Natural Deduction, Hybrid Systems and Modal Logics (Bog, Hardback, Engelsk)

  Af: Andrzej Indrzejczak

  The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.

  PRIS

  2.147,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv