Walter A. Carnielli
8 published titles
The semantic foundations of logic
(Contributor)
2 editions
- ISBN: 0792306228
- Kluwer Academic
- 1990
- Details
- ISBN: 0195087615
- Oxford University Press
- 1995
- Details
Computability : computable functions, logic, and the foundations of mathematics
(Contributor)
1 edition
- ISBN: 0534546447
- Wadsworth/Thomson Learning
- 2000
- Details
Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo
(Contributor)
1 edition
- ISBN: 0824708059
- Marcel Dekker
- 2002
- Details
Handbook of paraconsistency
(Contributor)
1 edition
- ISBN: 9781904987734
- College publications
- 2007
- Details
Analysis and synthesis of logics : how to cut and paste reasoning systems
(Contributor)
1 edition
- ISBN: 9781402067822
- Springer
- 2008
- Details
Modalities and multimodalities
1 edition
- ISBN: 9781402085895
- Springer
- 2008
- Details
The many sides of logic
(Contributor)
1 edition
- ISBN: 9781904987789
- College Publications
- 2009
- Details
Model-based reasoning in science and technology : abduction, logic, and computational discovery
(Contributor)
1 edition
- ISBN: 9783642152221
- Springer
- 2010
- Details