Constructive Negations and Paraconsistency
Published in: | Springer eBooks |
---|---|
Main Author: | Odintsov, Sergei P. |
Corporate Author: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Dordrecht :
Springer Science+Business Media B.V,
2008.
|
Series: | Trends in Logic ;
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-1-4020-6867-6 Перейти в каталог НБ ТГУ |
Similar Items
-
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
by: Benthem, Johan
Published: (2006) -
Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
by: Horská, Anna
Published: (2014) -
Constructivity and Computability in Historical and Philosophical Perspective
Published: (2014) -
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
by: Montano, Ulianov
Published: (2014) -
Johan van Benthem on Logic and Information Dynamics
Published: (2014)