Walter A. Carnielli

Identifiers

Open LibraryOL2663430A

Top Subjects

Mathematics (2)
Mathematical theory of computation (2)
Mathematical logic (2)
Modality (Logic) (2)
Computable functions (1)
Philosophy Of Mathematics (1)
Godel's theorem (1)

Books by Walter A. Carnielli

Total count: 7

Propositional Logics (The Semantic Foundations of Logic)

Oxford University Press, USA1995-12-28
Computability: Computable Functions, Logic, and the Foundations of Mathematics, with ComputabilityA Timeline2 edition

Wadsworth Publishing1999-07-12
Multi-valued Logics (Journal of Applied Non-classical Logics)

Hermes,France2000-07-01
Modalità e multimodalità

F. Angeli2001-01-01
Modalities and multimodalities

Springer2008-01-01
ComputabilityInstructor's Manual

Advanced Reasoning Forum2008-01-01
Model-based reasoning in science and technologyabduction, logic, and computational discovery

Springer Verlag2010-01-01