Studies in logic and the foundations of mathematics

Permalink: http://skupnikatalog.nsk.hr/Record/uf.ZAG01000643714
Vrsta građe: Nakladnička cjelina
Povezani zapisi: Handbook of proof theory
Jezik: eng
Impresum: Amsterdam [etc.] : North-Holland, [19--]- .