170. Clocksin & Mellish 2003, pp. 237–238, 252–255, 257, The Relation of Prolog to Logic;
Daintith & Wright 2008, Logic Programming Languages (https://www.encyclopedia.com/com
puting/dictionaries-thesauruses-pictures-and-press-releases/logic-programming-languages).
171. O'Regan 2016, p. 49; Calderbank & Sloane 2001, pp. 768.
172. Daintith & Wright 2008, Logic Gate (https://www.encyclopedia.com/computing/dictionaries-th
esauruses-pictures-and-press-releases/logic-gate).
173. Janssen & Zimmermann 2021, pp. 3–4; Partee 2016; King 2009, pp. 557–8; Aloni & Dekker
2016, pp. 22–23 (https://books.google.com/books?id=ltSgDAAAQBAJ&pg=PT22).
174. Warren 2020, 6. The Epistemology of Logic; Schechter.
175. Warren 2020, 6. The Epistemology of Logic.
176. Schechter.
177. Gómez-Torrente 2019.
178. Warren 2020, 6. The Epistemology of Logic; Gómez-Torrente 2019; Warren 2020, 1. What is
Conventionalism.
179. Chua 2017, pp. 631–636; Wilce 2021; Putnam 1969, pp. 216–241.
180. Lagerlund 2018.
181. Spade & Panaccio 2019.
182. Haaparanta 2009, pp. 4–6 (https://books.google.com/books?id=0jXavKsArnIC&pg=PA4), 1.
Introduction; Hintikka & Spade, Modern logic, Logic since 1900.
183. Kline 1972, "A major achievement of Aristotle was the founding of the science of logic", p.
53; Łukasiewicz 1957, p. 7; Liu & Guo 2023, p. 15.
184. Lear 1980, p. 34.
185. Knuuttila 1980, p. 71; Fisher, Gabbay & Vila 2005, p. 119.
186. Berman 2009, p. 133.
187. Frede; Groarke.
188. Ewald 2019; Smith 2022.
189. Hasse 2008; Lagerlund 2018.
190. Washell 1973, pp. 445–50; Kneale & Kneale 1962, pp. 229, 266.
191. Goodman 2003, p. 155.
192. Goodman 1992, p. 188.
193. Hintikka & Spade, Arabic Logic (https://www.britannica.com/topic/history-of-logic/Medieval-lo
gic#ref65928).
194. Iqbal 2013, pp. 99–115, The Spirit of Muslim Culture.
195. Marenbon 2021, Introduction; 3. The Logical Text-Books; Hintikka & Spade.
196. Hintikka & Spade; Hasse 2008; Spade & Panaccio 2019.
197. Willman 2022; Rošker 2015, pp. 301–309.
198. Sarukkai & Chakraborty 2022, pp. 117–8.
199. Dasti, Lead section; 1b. Inference; Mills 2018, p. 121 (https://books.google.com/books?id=s
GhqDwAAQBAJ&pg=PA121).
200. Emmanuel 2015, pp. 320–2; Vidyabhusana 1988, p. 221.
201. Chakrabarti 1976, pp. 554–563.
202. Groarke; Haaparanta 2009, pp. 3–5 (https://books.google.com/books?id=0jXavKsArnIC&pg
=PA3), 1. Introduction.
203. Haaparanta 2009, pp. 4–6 (https://books.google.com/books?id=0jXavKsArnIC&pg=PA4);
Hintikka & Spade, Modern logic, Logic since 1900.
204. Ewald 2019.
205. Ewald 2019; Schreiner 2021, p. 22.