Katalin Bimbo Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Proof Theory: Sequent Calculi and Related Formalisms (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Combinatory Logic: Pure, Applied and Typed (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Combinatory Logic: Pure, Applied and Typed (Bog, Paperback / softback, Engelsk)Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Proof Theory: Sequent Calculi and Related Formalisms (Bog, Paperback / softback, Engelsk)Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems.... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
