登入選單
Google圖書搜尋
Advances in Contemporary Logic and Computer Scienc...
作者
Walter Alexandre Carnielli
出版American Mathematical Soc., 1999
ISBN
9780821813645 / 0821813641
主題
Computers
Analysis and Synthesis of Logics
作者
Walter Carnielli / Marcelo Coniglio / Dov M. Gabbay / Paula Gouveia / Cristina Sernadas
出版Springer Science & Business Media, 2008-01-22
ISBN
9781402067822 / 1402067828
主題
Mathematics
Paraconsistent Logic: Consistency, Contradiction a...
作者
Walter Carnielli / Marcelo Esteban Coniglio
出版Springer, 2016-06-14
ISBN
9783319332055 / 3319332058
主題
Philosophy
Paraconsistency
作者
Walter Alexandr Carnielli
出版CRC Press, 2002-04-10
ISBN
0203910133 / 9780203910139
主題
Mathematics
New Trends in Hopf Algebra Theory
作者
Nicolás Andruskiewitsch / Walter Ricardo Ferrer Santos / Hans-Jürgen Schneider
出版American Mathematical Soc., 2000
ISBN
9780821821268 / 0821821261
主題
Mathematics
Advances in Contemporary Logic and Computer Scienc...
作者
Walter Alexandre Carnielli
出版American Mathematical Soc., 1999
ISBN
9780821813645 / 0821813641
主題
Computers
Computability
作者
Richard L. Epstein / Walter Alexandre Carnielli
出版Wadsworth Publishing Company, 2000
ISBN
0534546447 / 9780534546441
主題
Computable functions
Contradictions, from Consistency to Inconsistency
作者
Walter Alexandre Carnielli / Jacek Malinowski
出版2018
ISBN
3319987984 / 9783319987989
主題
PHILOSOPHY