Standard
On the computational meaning of axioms. / Naibo, Alberto; Petrolo, Mattia; Seiller, Thomas.
Epistemology, knowledge and the impact of interaction. ed. / Juan Redmond; Olga Pombo Martins; Ángel Nepomuceno Fernández. Springer, 2016. p. 141-184 (Logic, Epistemology, and the Unity of Science, Vol. 38).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Harvard
Naibo, A, Petrolo, M & Seiller, T 2016,
On the computational meaning of axioms. in J Redmond, O Pombo Martins & Á Nepomuceno Fernández (eds),
Epistemology, knowledge and the impact of interaction. Springer, Logic, Epistemology, and the Unity of Science, vol. 38, pp. 141-184.
https://doi.org/10.1007/978-3-319-26506-3_5
APA
Naibo, A., Petrolo, M., & Seiller, T. (2016).
On the computational meaning of axioms. In J. Redmond, O. Pombo Martins, & Á. Nepomuceno Fernández (Eds.),
Epistemology, knowledge and the impact of interaction (pp. 141-184). Springer. Logic, Epistemology, and the Unity of Science Vol. 38
https://doi.org/10.1007/978-3-319-26506-3_5
Vancouver
Naibo A, Petrolo M, Seiller T.
On the computational meaning of axioms. In Redmond J, Pombo Martins O, Nepomuceno Fernández Á, editors, Epistemology, knowledge and the impact of interaction. Springer. 2016. p. 141-184. (Logic, Epistemology, and the Unity of Science, Vol. 38).
https://doi.org/10.1007/978-3-319-26506-3_5
Author
Naibo, Alberto ; Petrolo, Mattia ; Seiller, Thomas. / On the computational meaning of axioms. Epistemology, knowledge and the impact of interaction. editor / Juan Redmond ; Olga Pombo Martins ; Ángel Nepomuceno Fernández. Springer, 2016. pp. 141-184 (Logic, Epistemology, and the Unity of Science, Vol. 38).
Bibtex
@inbook{79b15f93db884cf2831abcbc28a68910,
title = "On the computational meaning of axioms",
author = "Alberto Naibo and Mattia Petrolo and Thomas Seiller",
year = "2016",
doi = "10.1007/978-3-319-26506-3_5",
language = "English",
isbn = "978-3-319-26504-9",
series = "Logic, Epistemology, and the Unity of Science",
publisher = "Springer",
pages = "141--184",
editor = "Juan Redmond and {Pombo Martins}, Olga and {Nepomuceno Fern{\'a}ndez}, {\'A}ngel",
booktitle = "Epistemology, knowledge and the impact of interaction",
address = "Switzerland",
}
RIS
TY - CHAP
T1 - On the computational meaning of axioms
AU - Naibo, Alberto
AU - Petrolo, Mattia
AU - Seiller, Thomas
PY - 2016
Y1 - 2016
U2 - 10.1007/978-3-319-26506-3_5
DO - 10.1007/978-3-319-26506-3_5
M3 - Book chapter
SN - 978-3-319-26504-9
T3 - Logic, Epistemology, and the Unity of Science
SP - 141
EP - 184
BT - Epistemology, knowledge and the impact of interaction
A2 - Redmond, Juan
A2 - Pombo Martins, Olga
A2 - Nepomuceno Fernández, Ángel
PB - Springer
ER -