Metamathematics, machines, and Gödel's proof /

by Shankar, N Series: Cambridge tracts in theoretical computer science 99-0691101-8 . 38 Published by : Cambridge Univ. Press (Cambridge) Physical details: xv,202p ISBN:052142027X. Year: 1994
    Average rating: 0.0 (0 votes)
Item type Current library Call number Status Date due Barcode
Book (loan) Gräsvik
511 Available 40000005457

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket