Počet záznamů: 1  

Computability and logic

  1.   Půjčit
    Záhlaví-jméno Boolos, George, 1940-1996 (autor)
    Údaje o názvuComputability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
    Dal.odpovědnost Burgess, John P., 1948- (autor)
    Jeffrey, Richard C., 1926-2002 (autor)
    Údaje o vydání4th ed.
    Vyd.údajeCambridge : Cambridge University Press, c2002
    Fyz.popisxi, 356 s.
    ISBN0-521-00758-5
    PoznámkyReprinted 2006
    Předmět.hesla matematika
    logika
    matematická logika
    matematické funkce
    logické funkce
    teorie matematiky
    Konspekt511 - Teorie čísel
    MDT51
    Země vyd.Velká Británie
    Jazyk dok.angličtina
    Počet ex.1, z toho volných 1
    DatabázeNaučná literatura
    Zobrazit informace o knize na stránce www.obalkyknih.cz

    kniha

      Půjčit
    SignaturaPřír.čísloLokaceDislokaceInfo
    78721410517KnihovnaIV

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše