Cover image

Metamathematics, machines, and Gödel's proof / N. Shankar

By: Shankar, NMaterial type: TextTextSeries: Cambridge tracts in theoretical computer science99-0691101-8 ; 38Publication details: Cambridge Cambridge Univ. Press 1994Description: xv,202pISBN: 052142027XSubject(s): Computers, Mathematical logic | Logik | Logik | MetamatematikDDC classification: 511.3 Other classification: Dca | 511 | Dca
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number Status Date due Barcode
Book (loan) Gräsvik
511 (Browse shelf (Opens below)) Available 40000005457

There are no comments on this title.

to post a comment.

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