1 line
1.4 KiB
JSON
1 line
1.4 KiB
JSON
[{"id":"floydParadigmsProgramming1979","author":[{"family":"Floyd","given":"Robert W."}],"citation-key":"floydParadigmsProgramming1979","container-title":"Communication of the ACM","DOI":"10.1145/359138.359140","issue":"8","issued":{"date-parts":[["1979",8,1]]},"language":"English","page":"455-460","title":"The paradigms of programming","type":"article-journal","URL":"https://dl.acm.org/doi/10.1145/359138.359140","volume":"22"},{"id":"coriLogiqueMathematique12003","type":"book","event-place":"paris","number-of-volumes":"2","publisher":"Dunod","publisher-place":"paris","title":"Logique mathématique 1. calcul propositionnel, algèbre de boole","volume":"1","author":[{"family":"Cori","given":"René"},{"family":"Lascar","given":"Daniel"}],"issued":{"date-parts":[["2003"]]},"citation-key":"coriLogiqueMathematique12003","library":"Ma bibliothèque","citekey":"coriLogiqueMathematique12003"},{"id":"coriLogiqueMathematique22003","type":"book","event-place":"paris","number-of-volumes":"2","publisher":"Dunod","publisher-place":"paris","title":"Logique mathématique 2. fonctions récursives, théorème de Gödel, théories des ensembles, théorie des modèles","volume":"2","author":[{"family":"Cori","given":"René"},{"family":"Lascar","given":"Daniel"}],"issued":{"date-parts":[["2003"]]},"citation-key":"coriLogiqueMathematique22003","library":"Ma bibliothèque","citekey":"coriLogiqueMathematique22003"}] |