Elavult böngészőt használ. Előfordulhat, hogy nem jeleníti meg megfelelően ezt vagy más webhelyeket. Frissítsen, vagy használjon alternatívát böngésző.
Free Download Logics of Socialist Education: Engaging with Crisis, Insecurity and Uncertainty By Tom G. Griffiths, Zsuzsa Millei (auth.), Tom G. Griffiths, Zsuzsa Millei (eds.)
2013 | 212 Pages | ISBN: 9400747276 | PDF | 2 MB
For some, socialism is a potent way of achieving economic, political...
Free Download Milo Kosterec, "Transparent Logics. Small Differences With Huge Consequences "
English | ISBN: 9004703330 | 2024 | 266 pages | PDF | 6 MB
The book presents Transparent Intensional Logic in several of its latest realisations in such a way that it makes a case for the system and...
Free Download Metainferential Logics (Trends in Logic, 61) by Federico Pailos, Bruno Da Ré
English | November 18, 2023 | ISBN: 3031443802 | 144 pages | MOBI | 13 Mb
This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed...
Free Download Stefan Berghofer, Tobias Nipkow, Christian Urban, "Theorem Proving in Higher Order Logics"
English | 2009 | pages: 528 | ISBN: 364203358X | PDF | 5,4 mb
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics...