Number of the records: 1  

Computability and logic

  1.   Borrow
    Main entry-name Boolos, George, 1940-1996 (author)
    Title statementComputability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
    Another responsib. Burgess, John P., 1948- (author)
    Jeffrey, Richard C., 1926-2002 (author)
    Edition statement4th ed.
    Issue dataCambridge : Cambridge University Press, c2002
    Phys.des.xi, 356 s.
    ISBN0-521-00758-5
    NoteReprinted 2006
    Subj. Headings matematika
    logika
    matematická logika
    matematické funkce
    logické funkce
    teorie matematiky
    Conspect511 - Teorie čísel
    UDC51
    CountryVelká Británie
    LanguageEnglish
    Copy count1, currently available 1
    DatabaseNaučná literatura
    View book information on page www.obalkyknih.cz

    book

      Borrow
    Call numberTrack No.LocationSublocationInfo
    78721410517KnihovnaIV

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all