01297nam a2200349 i 4500 xx005640373 NUKAT 20241231095651.0 231024s2021 xxka |001 0deng c 9781108423298 Hardback (OCoLC)1423807502 WA U/97AMO pol rda WA U/AMO WA U/AMOs WA U/97RR xxk xxu QA9.59 .M66 2021 Montalbán, Antonio (1978- ) Autor Computable structure theory : within the arithmetic / Antonio Montalbán. First published. Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, © 2021. XXII, 190 stron : ilustracje ; 25 cm. Tekst txt rdacontent Bez urządzenia pośredniczącego n rdamedia Wolumin nc rdacarrier Perspectives in Logic Bibliografia na stronach 177-186. Indeks. Funkcje obliczalne Logika symboliczna i matematyczna Cambridge University Press Wydawca pbl Association for Symbolic Logic Wydawca pbl Perspectives in Logic 978-1-108-42329-8 Hardback BK nseq 28296 28296 nseq 0 31160 WA_961_W WA_961_W 2026-07-24 0 23103 00023103 2026-07-24 00:00:00 2026-07-24 BK