![Bibliography – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub. Bibliography – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.](https://cyberleninka.org/viewer_images/1082726/f/1.png)
Bibliography – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
![26TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, the Netherlands July 2–5, 2019 | Bulletin of Symbolic Logic | Cambridge Core 26TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, the Netherlands July 2–5, 2019 | Bulletin of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS1079898619000416/resource/name/firstPage-S1079898619000416a.jpg)
26TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, the Netherlands July 2–5, 2019 | Bulletin of Symbolic Logic | Cambridge Core
![Logic and Computation: Interactive Proof with Cambridge LCF: Paulson, Lawrence C.: 9780521346320: Books - Amazon.ca Logic and Computation: Interactive Proof with Cambridge LCF: Paulson, Lawrence C.: 9780521346320: Books - Amazon.ca](https://m.media-amazon.com/images/I/41QQNT9BATL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)