Proofs and computations

Permalink: http://skupni.nsk.hr/Record/nsk.NSK01000920628
Glavni autor: Schwichtenberg, Helmut (-)
Ostali autori: Wainer, Stanley S. (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Ithaca : New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Izdanje: 1st published
Nakladnička cjelina: Perspectives in logic : PIL
Predmet:

NSK Čitaonica za društveno-humanističke znanosti

Signatura: 168 S415
Primjerak #1
Korištenje u čitaonici