Produkt mají v nabídce:
Saved from the Cellar - von Plato, Jan
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.
Detail produktu
Podobné produkty
