01299nam a2200289 u 4500000000079259CaOOAMICUS20070226123523.0040528s1997 it ad u000 u ita u884640512910997198PULitaGalvan, Sergio.(OLS)http://pul/name/36841Non contraddizione e terzo escluso :le regole della negazione nella logica classica intuizionista e minimale /di Sergio Galvan.Milano :FrancoAngeli,c1997.159 p. :ill., diagr. ;22 cmEpistemologia ;Bibliografia in appendice.Logica.(OLS)http://pul/subject/441Epistemologia ;.(OLS)http://pul/title/103777Epistemologia (F. Angeli) ;61.(OLS)http://pul/title/55778PULPUL1SL Filosofia 381160 GALSE 2101462BK-PRI DDC 21101462PULBib2101462 PUL95203 190208846405129(OLS)http://pul/number/104111245Non contraddizione e terzo escluso :le regole della negazione nella logica classica intuizionista e minimale(OLS)http://pul/title/103776260Milano :FrancoAngeli(OLS)http://pul/publisher/66898