Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Goubault-Larrecq reset filtrov +
Autor: Goubault-Larrecq Proof Theory and Automated Deduction Goubault-Larrecq 2002 1 knižných titulov