{"record":{"leader":"cx  j22     3  45","datafield":[{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"http://catalogue.bnf.fr/ark:/12148/cb16255045j"},{"code":2,"content":"BNF"},{"code":"d","content":20150928}],"tag":"033"},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"FRBNF162550450"},{"code":"z","content":"FRBNF16255045"}],"tag":"035"},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"20110103afrey50      ba0"},"tag":100},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":2},{"code":"b","content":1},{"code":"c","content":1}],"tag":106},{"ind2":" ","ind1":" ","subfield":{"code":"b","content":"rameau"},"tag":152},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":9,"content":"#"},{"code":"a","content":"Mu-calcul"}],"tag":250},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":9,"content":"#"},{"code":"a","content":"Mu-calcul modal"}],"tag":450},{"ind2":" ","ind1":" ","subfield":[{"code":7,"content":"ba0yba0y"},{"code":9,"content":"#"},{"code":"a","content":"Mu-calcul propositionnel"}],"tag":450},{"ind2":" ","ind1":" ","subfield":[{"code":3,"content":"027554546"},{"code":5,"content":"g|xxx"},{"code":7,"content":"ba0yba0y"},{"code":"a","content":"Calcul des propositions"}],"tag":550},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":510},{"code":"c","content":"Mathématiques"},{"code":2,"content":"Note de regroupement par domaine"}],"tag":686},{"ind2":0,"ind1":" ","subfield":[{"code":"a","content":"FR"},{"code":"b","content":"FR-751131015"},{"code":"c","content":20110902}],"tag":801},{"ind2":3,"ind1":" ","subfield":[{"code":"a","content":"FR"},{"code":"b","content":"Abes"},{"code":"c","content":20190222},{"code":"g","content":"AFNOR"}],"tag":801},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"TermSciences - http://www.termsciences.fr (2011-09-02)"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Propriétés logiques du non déterminisme et mu-calcul modal / D. Janin, 1996 [thèse]"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Handbook of modale logic, 2006 (art. : Modal mu-calculi)"},"tag":810},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Results on the propositional μ-calculus / D. Kozen [in] Theoretical computer science, 1983, 27, 3"},"tag":810},{"ind2":" ","ind1":" ","subfield":[{"code":"a","content":"Réforme Rameau janvier 2019 Td ouverte à la subd. géogr."},{"code":"d","content":20190215}],"tag":898},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Mu-calcul"},"tag":950},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Mu-calcul modal"},"tag":951},{"ind2":" ","ind1":" ","subfield":{"code":"a","content":"Mu-calcul propositionnel"},"tag":951}],"controlfield":[{"tag":"001","content":148834396},{"tag":"003","content":"http://www.idref.fr/148834396"},{"tag":"004","content":20110103},{"tag":"005","content":20190222194346},{"tag":"006","content":335222101},{"tag":"007","content":1999},{"tag":"008","content":"Td8"}]}}