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 Call number Location Sublocation Umiestnenie Info 233285 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Schaum's outline of theory and problems of Logic Author info John Nolt, Dennis Rohatyn, Schille Varzi Title Subtitle Translation : Schaumov prehľad logiky Author Nolt John
Co-authors Rohatyn Dennis
Varzi Achille
Issue data New York : McGraw-Hill Book Company , 1998. - 322 s. Issue 2. ed. ISBN 0-07-046649-1 Keywords matematická logika - mathematical logic 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 237266 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title One Hundred Mathematical Proof Author info Rowan Garnier, John Taylor Title Subtitle Translation : Stopercentný matematický dôkaz Author Garnier Rowan
Co-authors Taylor John
Issue data Chichester : John Wiley & sons , 1996. - 317 s. : il. Issue 1st ed. ISBN 0-471-96199-X Keywords matematika - mathematics matematické dôkazy - mathematical proofs 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 233286 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title A Course in Mathematical Logic Author info John L. Bell, Moshé Machover Author Bell John L.
Co-authors Machover Moshé
Issue data Amsterdam : North-Holland , 1986. - 599 s. Issue 2nd ed. Keywords matematika - mathematics matematická logika - mathematical logic základy Language English Country Netherlands 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 218206 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Computability and Unsolvability Author info Martin Davis Title Subtitle Translation : Vypočítateľnosť a nerozriešiteľnosť Author Davis Martin
Issue data New York : Dover Publications , 1982. - 248 s. ISBN 0-486-61471-9 Keywords matematika - mathematics matematická logika - mathematical logic Language English Country United States of America systematics 510.6=111 511.3=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 234927 Univerzita Mateja Bela Department of mathematics In-Library Use Only