Amazon cover image
Image from Amazon.com

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

By: Material type: TextTextSeries: Cambridge tracts in theoretical computer science. 99-0691101-8 ; 38Publication details: Cambridge Cambridge Univ. Press 1994Description: xv,202pISBN:
  • 052142027X
Subject(s): DDC classification:
  • 511.3 23/swe
Other classification:
  • Dca
  • 511
  • Dca
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Book (loan) Campus Karlskrona 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

Summon
Låneinformation
Söka artiklar och böcker
Kontakt och Öppettider
Om BTH
Behandling av personuppgifter