Výsledky vyhľadávania
Názov Conjecture and Proof Aut.údaje Miklós Laczkovich Autor Laczkovich Miklós
Vyd.údaje Washington : The Mathematical Association of America , 2001. - 118 s. Vydanie 1st ed. ISBN 0-88385-722-7 Kľúč.slová matematika - mathematics dokazovanie (právo) - evidence (law) Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=111 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 241937 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov A Friendly Introduction to Mathematical Logic Aut.údaje Christopher C. Leary Preklad názvu podnázvu : Úvod do matematickej logiky Autor Leary Christopher C.
Vyd.údaje New Jersey : Prentice-Hall , 2000. - 218 s. Vydanie 1. ed. ISBN 0-13-010705-0 Kľúč.slová matematická logika - mathematical logic štruktúra a jazyk Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=111 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 235933 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov How to Prowe It Podnázov A Structured Approach Aut.údaje Daniel J, Velleman Preklad názvu podnázvu : Ako dokazovať: štrukturovaný prístup Autor Velleman Daniel J.
Vyd.údaje Cambridge : Cambridge University Press , 1998. - 309 s. Vydanie 1. ed. ISBN 0-521-44663-5 Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Jazyk dok. angličtina Krajina Veľká Británia Systematika 510.6=111 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 233285 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Schaum's outline of theory and problems of Logic Aut.údaje John Nolt, Dennis Rohatyn, Schille Varzi Preklad názvu podnázvu : Schaumov prehľad logiky Autor Nolt John
Spoluautori Rohatyn Dennis
Varzi Achille
Vyd.údaje New York : McGraw-Hill Book Company , 1998. - 322 s. Vydanie 2. ed. ISBN 0-07-046649-1 Kľúč.slová matematická logika - mathematical logic Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=111 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 237266 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov One Hundred Mathematical Proof Aut.údaje Rowan Garnier, John Taylor Preklad názvu podnázvu : Stopercentný matematický dôkaz Autor Garnier Rowan
Spoluautori Taylor John
Vyd.údaje Chichester : John Wiley & sons , 1996. - 317 s. : il. Vydanie 1st ed. ISBN 0-471-96199-X Kľúč.slová matematika - mathematics matematické dôkazy - mathematical proofs Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=111 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 233286 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov A Course in Mathematical Logic Aut.údaje John L. Bell, Moshé Machover Autor Bell John L.
Spoluautori Machover Moshé
Vyd.údaje Amsterdam : North-Holland , 1986. - 599 s. Vydanie 2nd ed. Kľúč.slová matematika - mathematics matematická logika - mathematical logic základy Jazyk dok. angličtina Krajina Holandsko Systematika 510.6=111 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 218206 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Computability and Unsolvability Aut.údaje Martin Davis Preklad názvu podnázvu : Vypočítateľnosť a nerozriešiteľnosť Autor Davis Martin
Vyd.údaje New York : Dover Publications , 1982. - 248 s. ISBN 0-486-61471-9 Kľúč.slová matematika - mathematics matematická logika - mathematical logic Jazyk dok. angličtina Krajina Spojené štáty Systematika 510.6=111 511.3=111 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 234927 Univerzita Mateja Bela FP Katedra matematiky len prezenčne