Výsledky vyhľadávania
Názov Proofs and Refutations Podnázov The Logic of Mathematical Discovery Aut.údaje Imre Lakatos Preklad názvu podnázvu : Dôkazy a omyly Autor Lakatos Imre
Vyd.údaje Cambridge : Cambridge University Press , 1999. - 174 s. ISBN 0-521-29038-4 Kľúč.slová matematika - mathematics logika - logic matematické dôkazy - mathematical proofs Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 235963 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Sweet reason Podnázov A field guide to modern logic Aut.údaje Tom Tymoczko Autor Tymoczko Tom
Vyd.údaje New York : Springer Verlag , 1999. - 644 s. Vydanie 1. ed. ISBN 0-387-98930-7 Kľúč.slová matematika - mathematics matematická logika - mathematical logic Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 237654 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Mathematics Behind Fuzzy Logic Aut.údaje Esko Turunen Autor Turunen Esko
Vyd.údaje Heidelberg : Physica Verlag , 1999. - 191 s. Vydanie 1. ed. ISBN 3-7908-1221-8 Kľúč.slová matematika - mathematics fuzzy logika - fuzzy logic Jazyk dok. angličtina Krajina Nemecko Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 237658 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Introduction to Logic Aut.údaje Patrick Suppes Autor Suppes Patrick
Vyd.údaje New York : Dover Publications , 1999. - 312 s. ISBN 0-486-40687-3 Kľúč.slová matematika - mathematics matematická logika - mathematical logic Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 234823 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Introduction to Mathematical Structures and Proofs Aut.údaje Larry J. Gerstein Preklad názvu podnázvu : Úvod do matematických štruktúr a dôkazov Autor Gerstein Larry J.
Vyd.údaje New York : Springer Verlag , 1997. - 350 s. Vydanie 1. ed. ISBN 0-387-97997-2 Kľúč.slová matematika - mathematics matematická logika - mathematical logic teória čísel - number theory Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 233062 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Discovering formal logic Aut.údaje Kathleen Johnson Wu Autor Wu Kathleen Johnson
Vyd.údaje Guilford : The Dushkin Publishing , 1994. - 529 s. ISBN 1-56134-233-5 Kľúč.slová matematika - mathematics logika - logic Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 16 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 2, z toho voľných 1, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 236070 Univerzita Mateja Bela FP Katedra matematiky len prezenčne 236082 Univerzita Mateja Bela UK Referát absenčných výpožičiek Názov Introduction to Elementary Mathematical Logic Aut.údaje Abram Aronovich Stolyar Preklad názvu podnázvu : Úvod do základov matematickej logiky Autor Stolyar Abram Aronovich
Vyd.údaje New York : Dover Publications , 1983. - 209 s. ISBN 0-486-64561-4 Kľúč.slová matematika - mathematics matematická logika - mathematical logic základy Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 234822 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Foundations of Mathematical Logic Aut.údaje Haskell B. Curry Autor Curry Haskell B.
Vyd.údaje New York : Dover Publications , 1977. - vii, 408 s. Vydanie 1st ed. ISBN 0-486-63462-0 Kľúč.slová matematika - mathematics matematická logika - mathematical logic základy Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 221678 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov What Is Mathematical Logic? Aut.údaje J. N. Crossley ... [et al.] Autor Crossley J. N.
Vyd.údaje New York : Dover Publications , 1972. - 82 s. Vydanie [1st ed.] ISBN 0-486-26404-1 Kľúč.slová matematika - mathematics matematická logika - mathematical logic Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 234821 Univerzita Mateja Bela FP Katedra matematiky len prezenčne