Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Harel, David
and
Feldman, Yishai
1987.
Algorithmics.
p.
217.
Davis, Philip J.
2002.
Opinion.
The Mathematical Intelligencer,
Vol. 24,
Issue. 4,
p.
3.
Corcoran, John
2003.
Aristotle'sPrior Analyticsand Boole'sLaws of Thought.
History and Philosophy of Logic,
Vol. 24,
Issue. 4,
p.
261.
Volken, Henri
2003.
« Je le vois, mais je ne le crois pas... ». Preuves et vérités dans les sciences formelles.
Revue européenne des sciences sociales,
p.
145.
Andrews, J.H.
and
Yingjun Zhang
2003.
General test result checking with log file analysis.
IEEE Transactions on Software Engineering,
Vol. 29,
Issue. 7,
p.
634.
Ketland, J.
2004.
Bueno and Colyvan on Yablo's paradox.
Analysis,
Vol. 64,
Issue. 2,
p.
165.
Floridi, Luciano
and
Sanders, J. W.
2004.
The Method of Abstraction.
SSRN Electronic Journal ,
Gurevich, Yuri
and
Yavorskiy, Rostislav
2004.
Abstract State Machines 2004. Advances in Theory and Practice.
Vol. 3052,
Issue. ,
p.
161.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
303.
Ketland, Jeffrey
2006.
Structuralism and the identity of indiscernibles.
Analysis,
Vol. 66,
Issue. 292,
p.
303.
Corcoran, John
2006.
Schemata: The Concept of Schema in the History of Logic.
Bulletin of Symbolic Logic,
Vol. 12,
Issue. 2,
p.
219.
2006.
Algorithmik.
p.
231.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
195.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
McCan, Dwight O
2006.
Logic, Systems, and Psyche: A Discourse on Method.
SSRN Electronic Journal,
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
229.
BOLENDER, John
2007.
SELF-ORGANIZATION IN THE DEVELOPMENT OF SOCIAL COGNITION: SYMMETRY BREAKING AND THE RELATIONAL-MODELS FRAMEWORK.
PSYCHOLOGIA,
Vol. 50,
Issue. 4,
p.
255.
Kahle, Reinhard
2007.
Die Gödelschen Unvollständigkeitssätze
.
Mathematische Semesterberichte,
Vol. 54,
Issue. 1,
p.
1.
Ganea, Mihai
2007.
Burgess’PVis Robinson’sQ.
Journal of Symbolic Logic,
Vol. 72,
Issue. 2,
p.
619.
Harel, David
and
Feldman, Yishai
2008.
Algoritmi.
p.
533.