A method in proofs of undefinability

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:32474
Glavni autor: Bouvere, K. L. De (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: North-Holland Publishing Company, 1959.
Izdanje: 1. izd
Predmet: