Search results
Title Writing proofs in analysis Author info Jonathan M. Kane Author Kane Jonathan M.
Issue data [S.l.] : Springer , c2016. - xx, 347 s. : gr., obr., 24 cm ISBN 978-3-319-30965-1 Note Bibliografia s. 341-342. Register Keywords matematika - mathematics matematická analýza - mathematical analysis matematické dôkazy - mathematical proofs vysokoškolské učebnice - učebnice vysokých škôl mathematical proofs university textbooks Language English Country Switzerland systematics 51 517 51:168.3 (075.8) 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 
book
Call number Location Sublocation Umiestnenie Info 362961 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title 50 visions of mathematics Author info edited by Sam Parc Another authors Parc Sam (Editor)
Issue data Oxford : Oxford University Press , 2014. - ix; 198 s. : fotogr., obr., tab. Issue 1st ed. ISBN 978-0-19-870181-1 Note Bibliografické odkazy Keywords matematika - mathematics aplikovaná matematika - applied mathematics matematické dôkazy - mathematical proofs mathematical proofs Language English Country Great Britian systematics 51 51-7 51:168.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 1 
book
Call number Location Sublocation Umiestnenie Info 350939 Univerzita Mateja Bela Department of absent lending Title Proofs and Refutations Subtitle The Logic of Mathematical Discovery Author info Imre Lakatos Title Subtitle Translation : Dôkazy a omyly Author Lakatos Imre
Issue data Cambridge : Cambridge University Press , 1999. - 174 s. ISBN 0-521-29038-4 Keywords matematika - mathematics logika - logic matematické dôkazy - mathematical proofs Language English Country United States of America systematics 510.6=20 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 
book
Call number Location Sublocation Umiestnenie Info 235963 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 book
Call number Location Sublocation Umiestnenie Info 233285 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 book
Call number Location Sublocation Umiestnenie Info 233286 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Proofs without words Author info Roger B. Nelsen Title Subtitle Translation : Dôkazy bez slov Author Nelsen Roger B.
Issue data [s.l.] : The Mathematical Associations of America , 1994. - 152 s. Issue 1st ed. ISBN 0-88385-700-6 Keywords matematika - mathematics matematické dôkazy - mathematical proofs Language English Country United States of America systematics 51=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 book
Call number Location Sublocation Umiestnenie Info 234493 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Gödel's Incompleteness Theorems Author info Raymond M. Smullyan Title Subtitle Translation : Gödelsova veta o neúplnosti Author Smullyan Raymond Merril
Issue data New York : Oxford University Press , 1992. - 139 s. Issue 1st ed. ISBN 0-19-504672-2 Keywords matematika - mathematics matematické dôkazy - mathematical proofs Gödelove vety Language English Country United States of America systematics 510.21 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 book
Call number Location Sublocation Umiestnenie Info 233691 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Formal Development of Programs and Proofs Author info Edger W. Dijkstra Author Dijkstra Edger W.
Issue data Reading : Addison-Wesley , 1990. - 242 s. Issue [1st ed.] ISBN 0-201-17237-2 Keywords programovanie - programming matematické dôkazy - mathematical proofs binárne stromové modely Möbiova postupnosť Language English Country United States of America systematics 681.3.06=20 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 book
Call number Location Sublocation Umiestnenie Info 210212 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Začem i kak my dokazyvajem v matematike Author info A.A. Stoľar Title Subtitle Translation : Prečo a ako dokazujeme v matematike Author Stoľar A. A.
Issue data Minsk : Narodnaja osveta , 1987. - 142 s. Issue 1. izd. Keywords matematika - mathematics matematické dôkazy - mathematical proofs Language Russian Country Russian Federation systematics 51=82 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 2, currently available 0, at library only 2 book
Call number Location Sublocation Umiestnenie Info 182248 Univerzita Mateja Bela Department of mathematics In-Library Use Only 222972 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Razvitije predstavlenij o nadëžnosti matematičeskogo dokazateľstva Author info V. Ja. Perminov Author Perminov V. Ja.
Issue data Moskva : Izdateľstvo Moskovskogo universiteta , 1986. - 239 s. Issue 1-oe izd. Keywords matematika - mathematics matematické dôkazy - mathematical proofs Language Russian Country Russian Federation systematics 51:168.3 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 book
Call number Location Sublocation Umiestnenie Info 178666 Univerzita Mateja Bela Department of mathematics In-Library Use Only
