{
    "query": {
        "category": "Computer Science",
        "publication_date": "2017-03",
        "nr_of_items": 43
    },
    "items": [
        {
            "title": "A General Algebraic Semantics for Sentential Logics",
            "subtitle": null,
            "author": "Josep Maria Font; Ramon Jansana",
            "isbn": "9781316716915",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/general-algebraic-semantics-for-sentential-logics\/F6BEAA76B399E616E5B97E6DA4825931"
        },
        {
            "title": "Admissible Sets and Structures",
            "subtitle": null,
            "author": "Jon Barwise",
            "isbn": "9781107168336",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/admissible-sets-and-structures\/54BE63878870105D8405F35862ABA83D"
        },
        {
            "title": "Advanced Analytical Dynamics",
            "subtitle": "Theory and\u00a0Applications",
            "author": "Vincent De Sapio",
            "isbn": "9781107179608",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/universitypress\/subjects\/engineering\/engineering-design-kinematics-and-robotics\/advanced-analytical-dynamics-theory-and-applications?format=HB"
        },
        {
            "title": "Aspects of Incompleteness",
            "subtitle": null,
            "author": "Per Lindstr\u00f6m",
            "isbn": "9781107167926",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/universitypress\/subjects\/mathematics\/logic-categories-and-sets\/aspects-incompleteness?format=HB"
        },
        {
            "title": "Bounded Variable Logics and Counting",
            "subtitle": "A Study in Finite\u00a0Models",
            "author": "Martin Otto",
            "isbn": "9781107167940",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/universitypress\/subjects\/mathematics\/logic-categories-and-sets\/bounded-variable-logics-and-counting-study-finite-models?format=HB"
        },
        {
            "title": "Computability in Analysis and Physics",
            "subtitle": null,
            "author": "Marian B. Pour-El; J. Ian Richards",
            "isbn": "9781107168442",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/computability-in-analysis-and-physics\/DFC40C2556AF863C770EFEA0A4F30FD9"
        },
        {
            "title": "Constructibility",
            "subtitle": null,
            "author": "Keith J. Devlin",
            "isbn": "9781107168350",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/constructibility\/2B25B77643EADAC20629BE2E2760D79F"
        },
        {
            "title": "Degrees of Unsolvability",
            "subtitle": "Local and Global\u00a0Theory",
            "author": "Manuel Lerman",
            "isbn": "9781316717059",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/degrees-of-unsolvability\/D0274F506033B60C3378C8BA3BF695AD"
        },
        {
            "title": "Essential Stability Theory",
            "subtitle": null,
            "author": "Steven Buechler",
            "isbn": "9781316717257",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/essential-stability-theory\/153BDC6BB5740AC1615E35F85E22C490"
        },
        {
            "title": "Fine Structure and Iteration Trees",
            "subtitle": null,
            "author": "William J. Mitchell; John R. Steel",
            "isbn": "9781316718315",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/fine-structure-and-iteration-trees\/3661C63B3B3D76415D6757640001E0BE"
        },
        {
            "title": "Fundamentals of Stability Theory",
            "subtitle": null,
            "author": "John T. Baldwin",
            "isbn": "9781316717035",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/fundamentals-of-stability-theory\/24902A2EAB6A2E3D75E5544B52BD9026"
        },
        {
            "title": "General Recursion Theory",
            "subtitle": "An Axiomatic\u00a0Approach",
            "author": "Jens E. Fenstad",
            "isbn": "9781316717073",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/general-recursion-theory\/90C6EA8230A6720FDD4A02A8384D940A"
        },
        {
            "title": "G\u00f6del '96",
            "subtitle": "Logical Foundations of Mathematics, Computer Science and Physics - Kurt G\u00f6del's\u00a0Legacy",
            "author": "Petr H\u00e1jek",
            "isbn": "9781316716939",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/godel-96\/3CB0061FA56D069D65DD12050A015563"
        },
        {
            "title": "Groups, Languages and Automata",
            "subtitle": null,
            "author": "Derek F. Holt; Sarah Rees; Claas E. R\u00f6ver",
            "isbn": "9781316588246",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/groups-languages-and-automata\/D31C153F123E5364D1690F697A0F16F2"
        },
        {
            "title": "Higher Recursion Theory",
            "subtitle": null,
            "author": "Gerald E. Sacks",
            "isbn": "9781316717301",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/higher-recursion-theory\/93B0D8F4DEEE99273FFF7538446E3C1B"
        },
        {
            "title": "Inexhaustibility",
            "subtitle": "A Non-Exhaustive\u00a0Treatment",
            "author": "Torkel Franz\u00e9n",
            "isbn": "9781316755969",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/inexhaustibility\/A8A1F2E4EABA570EC7C5898ED1C6198F"
        },
        {
            "title": "Intensionality",
            "subtitle": null,
            "author": "Reinhard K\u00e4hle",
            "isbn": "9781316755822",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/intensionality\/2A56D9D764F49AF0D6E17AE7B6FB102E"
        },
        {
            "title": "Logic Colloquium '01",
            "subtitle": null,
            "author": "Matthias Baaz; Sy-David Friedman; Jan Kraj\u00ed\u010dek",
            "isbn": "9781316755860",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-01\/280510CCD31AC3B86CABBF9E52C78453"
        },
        {
            "title": "Logic Colloquium '02",
            "subtitle": null,
            "author": "Zo\u00e9 Chatzidakis; Peter Koepke; Wolfram Pohlers",
            "isbn": "9781316755723",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-02\/7132DE133646B0791F892560B78A07C5"
        },
        {
            "title": "Logic Colloquium '03",
            "subtitle": null,
            "author": "Viggo Stoltenberg-Hansen; Jouko V\u00e4\u00e4n\u00e4nen",
            "isbn": "9781316755785",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-03\/4F934D526A072458534803AA7480EC5B"
        },
        {
            "title": "Logic Colloquium '90",
            "subtitle": "ASL Summer Meeting in\u00a0Helsinki",
            "author": "Juha Oikkonen; Jouko V\u00e4\u00e4n\u00e4nen",
            "isbn": "9781316718254",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-90\/CA54F2755FB607C9AA1902B6E050FBD3"
        },
        {
            "title": "Logic Colloquium '95",
            "subtitle": "Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9\u201318,\u00a01995",
            "author": "Johann A. Makowsky; Elena V. Ravve",
            "isbn": "9781316716830",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-95\/8C9048798A4F08B2B03C406C43AFBF0B"
        },
        {
            "title": "Logic Colloquium '96",
            "subtitle": "Proceedings of the Colloquium held in San Sebasti\u00e1n, Spain, July 9\u201315,\u00a01996",
            "author": "J. M. Larrazabal; D. Lascar; G. Mints",
            "isbn": "9781316716816",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-96\/C57AB69DD541052A2D2CB9C6F7212F69"
        },
        {
            "title": "Logic Colloquium '98",
            "subtitle": null,
            "author": "Samuel R. Buss; Petr H\u00e1jek; Pavel Pudl\u00e1k",
            "isbn": "9781316756140",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-98\/169BF90E341998B89748F139934C7B80"
        },
        {
            "title": "Logic Colloquium '99",
            "subtitle": null,
            "author": "Jan Van Eijck; Vincent Van Oostrom; Albert Visser",
            "isbn": "9781316755921",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-colloquium-99\/F6BCC33DD3CFFFDCD26DA5598ADCB43F"
        },
        {
            "title": "Logic in Tehran",
            "subtitle": null,
            "author": "Ali Enayat; Iraj Kalantari; Mojtaba Moniri",
            "isbn": "9781316755747",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logic-in-tehran\/2B92E912A8B0F082D93B55E2B2B6ECDC"
        },
        {
            "title": "Logicism Renewed",
            "subtitle": "Logical Foundations for Mathematics and Computer\u00a0Science",
            "author": "Paul C. Gilmore",
            "isbn": "9781316755808",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/logicism-renewed\/1CBFA16BDAB6503F1F31766C63E5F5C4"
        },
        {
            "title": "Metamathematics of First-Order Arithmetic",
            "subtitle": null,
            "author": "Petr H\u00e1jek; Pavel Pudl\u00e1k",
            "isbn": "9781316717271",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/metamathematics-of-firstorder-arithmetic\/E72D370D90F316D86CB9D0927377A1A3"
        },
        {
            "title": "Model Theory of Fields",
            "subtitle": null,
            "author": "David Marker; Margit Messmer; Anand Pillay",
            "isbn": "9781316716991",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/model-theory-of-fields\/48190C76DE8527AA6E37EF65A91F58BB"
        },
        {
            "title": "Model Theory of Stochastic Processes",
            "subtitle": null,
            "author": "Sergio Fajardo; H. Jerome Keisler",
            "isbn": "9781316756126",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/model-theory-of-stochastic-processes\/D9009EE7D83F4DE746195DF4082F195D"
        },
        {
            "title": "Model-Theoretic Logics",
            "subtitle": null,
            "author": "J. Barwise; S. Feferman",
            "isbn": "9781316717158",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/modeltheoretic-logics\/A1350E8F845D174DCBDDE1F276AF2B40"
        },
        {
            "title": "Nonstandard Methods and Applications in Mathematics",
            "subtitle": null,
            "author": "Nigel J. Cutland; Mauro Di Nasso; David A. Ross",
            "isbn": "9781316755761",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/nonstandard-methods-and-applications-in-mathematics\/AF79310288A5B620F10AC2390886FE9F"
        },
        {
            "title": "Picturing Quantum Processes",
            "subtitle": "A First Course in Quantum Theory and Diagrammatic\u00a0Reasoning",
            "author": "Bob Coecke; Aleks Kissinger",
            "isbn": "9781316219317",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/picturing-quantum-processes\/1119568B3101F3A685BE832FEEC53E52"
        },
        {
            "title": "Recursion Theory",
            "subtitle": null,
            "author": "Joseph R. Shoenfield",
            "isbn": "9781316717011",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/recursion-theory\/CE62D0473D1CC84CDBA3A82BC56CB323"
        },
        {
            "title": "Recursion-Theoretic Hierarchies",
            "subtitle": null,
            "author": "Peter G. Hinman",
            "isbn": "9781316717110",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/recursiontheoretic-hierarchies\/DA1773D8072B4984FAB88F5EB288DEC9"
        },
        {
            "title": "Reflections on the Foundations of Mathematics",
            "subtitle": "Essays in Honor of Solomon\u00a0Feferman",
            "author": "Wilfried Sieg; Richard Sommer; Carolyn Talcott",
            "isbn": "9781316755983",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/reflections-on-the-foundations-of-mathematics\/8313AC977AF084D31B85F222F3903DE4"
        },
        {
            "title": "Reverse Mathematics 2001",
            "subtitle": null,
            "author": "Stephen G. Simpson",
            "isbn": "9781316755846",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/reverse-mathematics-2001\/2614170436CA0F5E309A75589464AE78"
        },
        {
            "title": "The Core Model Iterability Problem",
            "subtitle": null,
            "author": "John R. Steel",
            "isbn": "9781107167964",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/universitypress\/subjects\/mathematics\/logic-categories-and-sets\/core-model-iterability-problem?format=HB"
        },
        {
            "title": "The Notre Dame Lectures",
            "subtitle": null,
            "author": "Peter Cholak",
            "isbn": "9781316755907",
            "publisher": "Cambridge University Press",
            "link_to_publisher": "https:\/\/www.cambridge.org\/core\/books\/notre-dame-lectures\/0AF82574C3F2BC654CC5A93EB4EF9494"
        },
        {
            "title": "Real-World Algorithms",
            "subtitle": "A Beginner's Guide",
            "author": "by Panos Louridas",
            "isbn": "9780262035705",
            "publisher": "MIT Press",
            "link_to_publisher": "https:\/\/mitpress.mit.edu\/9780262035705\/real-world-algorithms"
        },
        {
            "title": "Stuck in the Shallow End, updated edition",
            "subtitle": "Education, Race, and Computing",
            "author": "by Jane Margolis",
            "isbn": "9780262533461",
            "publisher": "MIT Press",
            "link_to_publisher": "https:\/\/mitpress.mit.edu\/9780262533461\/stuck-in-the-shallow-end"
        },
        {
            "title": "The Eternal Darkness",
            "subtitle": null,
            "author": "Robert D. Ballard and Will Hively",
            "isbn": "9780691175621",
            "publisher": "Princeton University Press",
            "link_to_publisher": "https:\/\/press.princeton.edu\/isbn\/9780691175621"
        },
        {
            "title": "Web as History",
            "subtitle": "Using Web Archives to Understand the Past and the Present",
            "author": "Br\u00fcgger, Niels",
            "isbn": "9781911307426",
            "publisher": "University of Chicago Press",
            "link_to_publisher": "https:\/\/press.uchicago.edu\/ucp\/books\/book\/distributed\/W\/bo35506603.html"
        }
    ]
}