Search results

Records found: 4  
Your query: UDC = "^510.63^"
  1. TitleO pojmu logického vyplývání
    Author infoJohn Etchemendy
    Author Etchemendy John
    Issue dataOstrava : Ostravská univerzita v Ostravě , 2014. - 231 s., 21 cm
    Issue[1. vyd.]
    ISBN978-80-7464-497-9
    NoteBibliografia s. 223-227. Bibliografické odkazy. Register
    Keywords logika - logic   logické vyplývanie   logical entailment  
    LanguageCzech
    CountryCzech Republic
    systematics 16
    510.63
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexkni - BOOKS
    Copy count1, currently available 0, at library only 1
    Call numberLocationSublocationUmiestnenieInfo
    345850Univerzita Mateja BelaDepartment of philosophyIn-Library Use Only
  2. TitleK implikaci v Aristotelově logice
    Author infoMilan Mráz
    Author Mráz Milan
    Issue dataPraha : Academia , 1988. - 18 s.
    Issue1.vyd.
    Person keywords Aristoteles starogrécky filozof 384-322 pr. n. l.
    Keywords logika - logic   implikácie   dejiny logiky  
    LanguageCzech
    CountryCzechoslovakia
    systematics 510.63
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexkni - BOOKS
    Copy count1, currently available 1
    Call numberLocationSublocationUmiestnenieInfo
    188520Univerzita Mateja BelaDepartment of absent lending
  3. TitleMetoda GUHA
    Subtitleautomatická tvorba hypotéz
    Author infoP. Hájek, T. Havránek, Metoděj K. Chytil
    Author Hájek Petr
    Co-authors Havránek Tomáš
    Chytil Metoděj K.
    Issue dataPraha : Academia , 1983. - 316 s.
    Issue1.vyd.
    Keywords matematika - mathematics   počítače - computers   metóda GUHA  
    LanguageCzech
    Country-CS
    systematics 519.681
    510.63
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexkni - BOOKS
    Copy count2, currently available 1, at library only 1
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    153473Univerzita Mateja BelaFP Katedra informatikylen prezenčne
    153474Univerzita Mateja BelaUK Referát absenčných výpožičiek
  4. NázovLogika prvého rádu
    Aut.údajeRaymond M. Smullyan; preklad Svätoslav Mathé
    Autor Smullyan Raymond Merril
    Ďalší autori Mathé Svätoslav (Prekladateľ)
    Vyd.údajeBratislava : Alfa , 1979. - 212 s., 21 cm
    Vydanie1. vyd.
    Kľúč.slová matematická logika - mathematical logic   vysokoškolské učebnice - učebnice vysokých škôl  
    Form.deskr.učebnice vysokých škôl - textbooks (higher)
    Jazyk dok.slovenčina
    KrajinaČeskoslovensko
    Systematika 510.63
    (075.8)
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.5, z toho voľných 3, prezenčne 2
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    127963Univerzita Mateja BelaUK Referát absenčných výpožičiek
    128614Univerzita Mateja BelaFP Katedra matematiky
    145145Univerzita Mateja BelaFP Katedra matematikylen prezenčne
    145143Univerzita Mateja BelaFP Katedra matematikylen prezenčne
    145144Univerzita Mateja BelaUK Referát absenčných výpožičiek


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