Computational Logic and Proof Theory

číslo produktu:111939

rezervuj

Computational Logic and Proof Theory

Gottlob

Rok vydania: 1997

Vydavateľ: Springer

Kniha je momentálne nedostupná.

V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.

Podrobnosti o titule (výrobné údaje):

Vydavateľstvo: Springer

Rok vydania: 1997

ISBN: 978-3-540-63385-3

(9783540633853)

Väzba: mäkká