Constructivity and Computability in Historical and Philosophical Perspective المزيد من الكتب المشابهة

Epistemology versus Ontology

٢٠١٢

Mathesis Universalis, Computability and Proof

٢٠١٩

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

٢٠١٧

Deduction, Computation, Experiment

٢٠٠٨

Raymond Smullyan on Self Reference

٢٠١٨

Logos and Máthēma

٢٠١١

J. Michael Dunn on Information Based Logics

٢٠١٦

From Logic to Practice

٢٠١٤

Logic, Mathematics, Philosophy, Vintage Enthusiasms

٢٠١١

Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis

٢٠٢٢

Ewa Orłowska on Relational Methods in Logic and Computer Science

٢٠١٨

Logic, Reasoning, and Rationality

٢٠١٤

Contradictions, from Consistency to Inconsistency

٢٠١٨

Handbook of Philosophical Logic

٢٠٠٦

Proof, Computation and Agency

٢٠١١