Search results
Title Conjecture and Proof Author info Miklós Laczkovich Author Laczkovich Miklós
Issue data Washington : The Mathematical Association of America , 2001. - 118 s. Issue 1st ed. ISBN 0-88385-722-7 Keywords matematika - mathematics dokazovanie (právo) - evidence (law) Language English Country United States of America systematics 510.6=111 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 241937 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title A Friendly Introduction to Mathematical Logic Author info Christopher C. Leary Title Subtitle Translation : Úvod do matematickej logiky Author Leary Christopher C.
Issue data New Jersey : Prentice-Hall , 2000. - 218 s. Issue 1. ed. ISBN 0-13-010705-0 Keywords matematická logika - mathematical logic štruktúra a jazyk Language English Country United States of America systematics 510.6=111 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 235933 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title How to Prowe It Subtitle A Structured Approach Author info Daniel J, Velleman Title Subtitle Translation : Ako dokazovať: štrukturovaný prístup Author Velleman Daniel J.
Issue data Cambridge : Cambridge University Press , 1998. - 309 s. Issue 1. ed. ISBN 0-521-44663-5 Keywords matematika - mathematics matematické dôkazy - mathematical proofs Language English Country Great Britian systematics 510.6=111 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 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