Search results
Title An introduction to Ramsey theory Subtitle fast functions, infinity, and metamathematics Author info Matthew Katz, Jan Reimann Author Katz Matthew
Co-authors Reimann Jan
Issue data Providence, Rhode Island : American Mathematical Society , 2018. - xiv, 207 s. : il., 22 cm Edition Student Mathematical Library , Volume 87 ISBN 978-1-4704-4290-3 Note Bibliografia s. 199-202. Register Keywords Ramseyova teória - Ramsey theory kombinatorika - kombinatorická analýza - combinatorics - combinatorial analysis matematická logika - mathematical logic Form. Descr. monografie - monographies Language English Country United States of America systematics 519.1 510.6 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 377397 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title The significance of the new logic Author info Willard Van Orman Quine; translated and edited by Walter Carnielli, Frederique Janssen-Lauret, William Pickering Author Quine Willard Van Orman 1908-2000
Another authors Carnielli Walter (Translator) (Editor)
Janssen-Lauret Frederique (Translator) (Editor)
Pickering William (Translator) (Editor)
Issue data Cambridge : Cambridge University Press , 2018. - xlvii, 168 s. : tab., 24 cm Issue 1st ed. ISBN 978-1-107-17902-8 Note Bibliografické odkazy. Register Keywords logika - logic symbolická logika - symbolic logic matematická logika - mathematical logic Form. Descr. monografie - monographies Language English Country Great Britian systematics 16 164.01 510.6 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 372734 Univerzita Mateja Bela Department of philosophy In-Library Use Only Title Proofs and refutations Subtitle the logic of mathematical discovery Author info Imre Lakatos; edited by John Worrall, Ellie Zahar Author Lakatos Imre
Another authors Worrall John (Editor)
Zahar Elie (Editor)
Issue data Cambridge : Cambridge University Press , 2015. - xii; 183 s. : obr., tab., 23 cm Issue Repr. 1st ed. (1976) Edition Cambridge philosophy classics ISBN 978-1-107-53405-6 Note Reprint 1. vyd. z r. 1976. - Bibliografia s. 164-174. Bibliografické odkazy. Menný register. Vecný register Keywords matematická logika - mathematical logic symbolická logika - symbolic logic filozofia matematiky - philosophy of mathematics Language English Country Great Britian systematics 164.01 510.21 510.6 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 355503 Univerzita Mateja Bela Department of philosophy In-Library Use Only Title Paradoxes in probability theory Author info William Eckhardt Author Eckhardt William 1955-
Issue data Dordrecht : Springer , 2013. - xv, 79 s. : il., tab., 24 cm Edition Springer briefs in philosophy , 2211-4548 ISBN 978-94-007-5139-2 Note Bibliografické odkazy. Register Keywords teória pravdepodobnosti - probability theory filozofické aspekty - philosophical aspects symbolická logika - symbolic logic matematická logika - mathematical logic Form. Descr. štúdie - studies Language English Country Netherlands systematics 519.21 101 164.01 510.6 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 384324 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Pojmopis Subtitle formulový jazyk čistého myšlení po vzoru formulového jazyka aritmetiky Author info Gottlob Frege; preložil a komentárom opatril Jiří Fiala Author Frege Gottlob 1848-1925
Another authors Fiala Jiří (Translator)
Issue data Praha : OIKOYMENH , 2012. - 194 s. : tab., 21 cm Issue [1. vyd.] Edition Knihovna novověké tradice a současnosti , sv. 72 ISBN 978-80-261-0253-3, 978-80-7298-384-1 Note Text čiastočne nemecky. - Bibliografické odkazy Keywords matematická logika - mathematical logic formálna logika - formal logic symbolická logika - symbolic logic sylogistika(náuka o úsudku) aritmetika - arithmetic syllogistic Language Czech, German Country Czech Republic systematics 161.1 164 164.01 162.2 510.6 511.1 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 352294 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Logika pro všechny ochotné myslet Author info Antonín Sochor Author Sochor Antonín 1942-2008
Issue data Praha : Univerzita Karlova , 2012. - 363 s., 23 cm Issue 1. vyd., 1. dotisk ISBN 978-80-246-1959-0 Note Bibliografia s. 349-353. Bibliografické odkazy. Registre Keywords logika - logic matematická logika - mathematical logic predikátová logika - predicate calculus Form. Descr. populárno-náučné publikácie - popular works Language Czech Country Czech Republic systematics 16 510.6 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 370060 Univerzita Mateja Bela PF Katedra pedagogiky a andragogiky Etická výchova In-Library Use Only Title Logická zkoumání, Základy aritmetiky Author info Gottlob Frege; preložil Jiří Fiala Author Frege Gottlob 1848-1925
Another authors Fiala Jiří (Translator)
Issue data Praha : OIKOYMENH , 2011. - 265 s., 21 cm Issue [1. vyd.] Edition Knihovna novověké tradice a současnosti , sv. 71 ISBN 978-80-7298-319-3 Note Bibliografické odkazy Keywords matematická logika - mathematical logic formálna logika - formal logic aritmetika - arithmetic analytická filozofia - analytical philosophy Language Czech Country Czech Republic systematics 161.1 161.114 164 511.1 510.6 1:167.2 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 352293 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Introduction to mathematical logic Author info Elliott Mendelson Author Mendelson Elliot
Issue data Boca Raton : CRC Press , 2010. - xxiv; 469 s., 24 cm Issue 5th ed. Edition Discrete mathematics and its applications ISBN 978-1-58488-876-5 Note Bibliografia s. 433-446. Register Keywords matematika - mathematics matematická logika - mathematical logic Language English Country United States of America systematics 51 16 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 345021 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Propedeutika matematiky a počiatočné matematické predstavy Author info Ľubica Gerová Author Gerová Ľubica 1960-
Issue data Banská Bystrica : Univerzita Mateja Bela , 2010. - 92 s. : il., tab., 30 cm Issue 2. vyd. ISBN 978-80-557-0050-2 Note Bibliografia s. 87-88 Keywords matematika - mathematics matematická logika - mathematical logic matematické myslenie - mathematical thinking Language Slovak Country Slovak Republic systematics 510.6 371.3 (075.8) URL Plný text dostupný vo Virtuálnej študovni UMB Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 17, currently available 15, at library only 2 Call number Location Sublocation Umiestnenie Info 322075 Univerzita Mateja Bela Universal reading room In-Library Use Only 322076 Univerzita Mateja Bela Department of absent lending 322077 Univerzita Mateja Bela Department of absent lending 322078 Univerzita Mateja Bela Department of absent lending 322079 Univerzita Mateja Bela Department of absent lending 322080 Univerzita Mateja Bela Department of absent lending 322081 Univerzita Mateja Bela Department of absent lending 322082 Univerzita Mateja Bela Department of absent lending 322083 Univerzita Mateja Bela Department of absent lending 322084 Univerzita Mateja Bela Department of absent lending 322085 Univerzita Mateja Bela Department of absent lending 322086 Univerzita Mateja Bela Department of absent lending 322087 Univerzita Mateja Bela Department of absent lending 322088 Univerzita Mateja Bela Department of absent lending 322089 Univerzita Mateja Bela Department of absent lending 322090 Univerzita Mateja Bela Department of absent lending 322091 Univerzita Mateja Bela Reading room of education In-Library Use Only Title Gödel 1931 Subtitle gnoseologická revoluce v matematice a exaktních vědách Author info František Včelař, Jaroslav Frýdek, Ivan Zelinka Author Včelař František
Co-authors Frýdek Jaroslav
Zelinka Ivan
Issue data Praha : BEN - technická literatura , 2009. - 273 s. : il., 23 cm Issue 1. vyd. ISBN 978-80-7300-247-3 Note Bibliogr. s. 265-266. Reg. Keywords matematická logika - mathematical logic filozofia matematiky - philosophy of mathematics Language Czech Country Czech Republic systematics 510.21 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 Call number Location Sublocation Umiestnenie Info 331860 Univerzita Mateja Bela Department of mathematics In-Library Use Only