Show simple item record

Models of Peano's Arithmetic and its Fragments



dc.contributor.advisorTrlifajová Kateřina
dc.contributor.authorČačková Lenka
dc.date.accessioned2012-09-05T00:03:55Z
dc.date.available2012-09-05T00:03:55Z
dc.date.issued2012-09-05
dc.date.submitted2012-09-05 02:00:04.0
dc.identifierKOS-348190770805
dc.identifier.urihttp://hdl.handle.net/10467/12758
dc.publisherČeské vysoké učení technické v Praze. Vypočetní a informační centrum.cze
dc.rightsA university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one’s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfeng
dc.rightsVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfcze
dc.titleModely Peanovy aritmetiky a jejích fragmentů
dc.titleModels of Peano's Arithmetic and its Fragmentseng
dc.typebakalářská prácecze
dc.date.updated2012-09-05T00:03:55Z
dc.date.accepted2012-08-30 14:25:00.0
dc.contributor.refereeKůrka Petr
dc.description.departmentkatedra teoretické informatikycze
theses.degree.nameBc.cze
theses.degree.disciplineTeoretická informatika (bakalářský)cze
theses.degree.grantorFakulta informačních technologiícze
theses.degree.programmeInformatika pro bakalářské studentycze
evskp.contactČVUTcze


Files in this item


This item appears in the following Collection(s)

Show simple item record