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
    Call numberLocationSublocationUmiestnenieInfo
    153473Univerzita Mateja BelaDepartment of computer scienceIn-Library Use Only
    153474Univerzita Mateja BelaDepartment of absent lending
  4. TitleLogika prvého rádu
    Author infoRaymond M. Smullyan; preklad Svätoslav Mathé
    Author Smullyan Raymond Merril
    Another authors Mathé Svätoslav (Translator)
    Issue dataBratislava : Alfa , 1979. - 212 s., 21 cm
    Issue1. vyd.
    Keywords matematická logika - mathematical logic   vysokoškolské učebnice - učebnice vysokých škôl  
    Form. Descr.učebnice vysokých škôl - textbooks (higher)
    LanguageSlovak
    CountryCzechoslovakia
    systematics 510.63
    (075.8)
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexkni - BOOKS
    Copy count5, currently available 3, at library only 2
    Call numberLocationSublocationUmiestnenieInfo
    127963Univerzita Mateja BelaDepartment of absent lending
    128614Univerzita Mateja BelaDepartment of mathematics
    145145Univerzita Mateja BelaDepartment of mathematicsIn-Library Use Only
    145143Univerzita Mateja BelaDepartment of mathematicsIn-Library Use Only
    145144Univerzita Mateja BelaDepartment of absent lending


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