Viimati ilmunud raamatud https://www.kriso.ee Sat, 05 Sep 2015 00:00:00 GMT Sat, 05 Sep 2015 00:00:00 GMT Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday https://www.kriso.ee/fields-logic-computation-ii-essays-dedicated-db-9783319235349e.html <a href="https://www.kriso.ee/fields-logic-computation-ii-essays-dedicated-db-9783319235349e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte<br>ISBN: 9783319235349<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 05-Sep-2015<br> Hind: 55,56 € https://www.kriso.ee/db/97833192353492e.html Sat, 05 Sep 2015 00:00:00 GMT Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings https://www.kriso.ee/computer-science-theory-applications-10th-international-db-9783319202976e.html <a href="https://www.kriso.ee/computer-science-theory-applications-10th-international-db-9783319202976e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Lev D. Beklemishev, Daniil V. Musatov<br>ISBN: 9783319202976<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 22-Jun-2015<br> Hind: 55,56 € https://www.kriso.ee/db/97833192029762e.html Mon, 22 Jun 2015 00:00:00 GMT Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings https://www.kriso.ee/logic-language-information-computation-18th-international-db-9783642209208e.html <a href="https://www.kriso.ee/logic-language-information-computation-18th-international-db-9783642209208e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Lev D. Beklemishev, Ruy de Queiroz<br>ISBN: 9783642209208<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 28-Apr-2011<br> Hind: 55,56 € https://www.kriso.ee/db/97836422092082e.html Thu, 28 Apr 2011 00:00:00 GMT Combinatory Logic https://www.kriso.ee/combinatory-logic-db-9780080954776e.html <a href="https://www.kriso.ee/combinatory-logic-db-9780080954776e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080954776.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080954776<br> Kirjastus: Elsevier Science Publishing Co Inc<br> Formaat: PDF+DRM, Ilmumisaeg: 17-Jun-2009<br> Hind: 209,95 € https://www.kriso.ee/db/97800809547762e.html Wed, 17 Jun 2009 00:00:00 GMT Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress https://www.kriso.ee/logic-methodology-philosophy-science-proceeding-1960-db-9780080954714e.html <a href="https://www.kriso.ee/logic-methodology-philosophy-science-proceeding-1960-db-9780080954714e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080954714.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080954714<br> Kirjastus: Stanford University Press<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Jun-2009<br> Hind: 209,95 € https://www.kriso.ee/db/97800809547142e.html Mon, 15 Jun 2009 00:00:00 GMT Logic Colloquium 76, Proceedings of a conference https://www.kriso.ee/logic-colloquium-76-proceedings-conference-db-9780080954967e.html <a href="https://www.kriso.ee/logic-colloquium-76-proceedings-conference-db-9780080954967e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080954967.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080954967<br> Kirjastus: Elsevier Science Publishing Co Inc<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Jun-2009<br> Hind: 209,95 € https://www.kriso.ee/db/97800809549672e.html Mon, 15 Jun 2009 00:00:00 GMT Provability, Computability and Reflection https://www.kriso.ee/provability-computability-reflection-db-9780080957517e.html <a href="https://www.kriso.ee/provability-computability-reflection-db-9780080957517e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080957517.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080957517<br> Kirjastus: Elsevier Science Ltd<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809575172e.html Sat, 01 Apr 2000 00:00:00 GMT Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 https://www.kriso.ee/proceedings-fourth-international-congress-logic-methodology-db-9780080954844e.html <a href="https://www.kriso.ee/proceedings-fourth-international-congress-logic-methodology-db-9780080954844e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080954844.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080954844<br> Kirjastus: Elsevier Science Ltd<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809548442e.html Sat, 01 Apr 2000 00:00:00 GMT Sentences Undecidable in Formalized Arithmetic https://www.kriso.ee/sentences-undecidable-formalized-arithmetic-db-9780080957302e.html <a href="https://www.kriso.ee/sentences-undecidable-formalized-arithmetic-db-9780080957302e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080957302.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080957302<br> Kirjastus: Elsevier Science Ltd<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809573022e.html Sat, 01 Apr 2000 00:00:00 GMT SET THEORY https://www.kriso.ee/set-theory-db-9780080954950e.html <a href="https://www.kriso.ee/set-theory-db-9780080954950e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080954950.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080954950<br> Kirjastus: Elsevier Science Publishing Co Inc<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809549502e.html Sat, 01 Apr 2000 00:00:00 GMT Logic, Methodology and Philosophy of Science III https://www.kriso.ee/logic-methodology-philosophy-science-iii-db-9780080957715e.html <a href="https://www.kriso.ee/logic-methodology-philosophy-science-iii-db-9780080957715e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080957715.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080957715<br> Kirjastus: Elsevier Science Ltd<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809577152e.html Sat, 01 Apr 2000 00:00:00 GMT Provability, Computability and Reflection https://www.kriso.ee/provability-computability-reflection-db-9780080957357e.html <a href="https://www.kriso.ee/provability-computability-reflection-db-9780080957357e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080957357.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080957357<br> Kirjastus: Elsevier Science Ltd<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809573572e.html Sat, 01 Apr 2000 00:00:00 GMT Contributions to Non-Standard Analysis https://www.kriso.ee/contributions-non-standard-analysis-db-9780080954806e.html <a href="https://www.kriso.ee/contributions-non-standard-analysis-db-9780080954806e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080954806.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080954806<br> Kirjastus: Elsevier Science Publishing Co Inc<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809548062e.html Sat, 01 Apr 2000 00:00:00 GMT Provability, Computability and Reflection https://www.kriso.ee/provability-computability-reflection-db-9780080957272e.html <a href="https://www.kriso.ee/provability-computability-reflection-db-9780080957272e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080957272.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080957272<br> Kirjastus: Elsevier Science Ltd<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809572722e.html Sat, 01 Apr 2000 00:00:00 GMT Logic Colloquium '77 https://www.kriso.ee/logic-colloquium-77-db-9780080955049e.html <a href="https://www.kriso.ee/logic-colloquium-77-db-9780080955049e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978008/9780080955049.jpg" align="left" hspace="5" > </a>Lev D. Beklemishev<br>ISBN: 9780080955049<br> Kirjastus: Elsevier Science Ltd<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2000<br> Hind: 209,95 € https://www.kriso.ee/db/97800809550492e.html Sat, 01 Apr 2000 00:00:00 GMT