Jump to main content

yr 〜
yr

Search results 12

The significance of the new logic : paperback

The significance of the new logic : paperback
Paper図書
Willard Van Orman Quine ; translated and edited by Walter Carnielli, Frederique Janssen-Lauret, William PickeringCambridge University Press2020
Other Libraries in Japan
  • Author Heading...ard Van Orman) Carnielli, Walter A. (Walter Alexandre) Janssen-Lauret, Frederique Pi...

Paraconsistent Logic : Consistency, Contradiction and Negation

Paraconsistent Logic : Consistency, Contradiction and Negation
Paper図書
Walter Carnielli, Marcelo Esteban ConiglioSpringerc2016
Other Libraries in Japan
  • Author HeadingCarnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo Esteban

Analysis and synthesis of logics : how to cut and paste reasoning systems

Analysis and synthesis of logics : how to cut and paste reasoning systems
Paper図書
by Walter Carnielli ... [et al.]Springerc2010
Other Libraries in Japan
  • Author HeadingCarnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo Gabbay, Dov...

Computability : computable functions, logic, and the foundations of mathematics 3rd ed

Computability : computable functions, logic, and the foundations of mathematics 3rd ed
Paper図書
Richard L. Epstein, Walter A. CarnielliAdvanced Reasoning Forumc2008
Other Libraries in Japan
  • Author HeadingEpstein, Richard L. Carnielli, Walter A. (Walter Alexandre)

Modalities and multimodalities : pbk

Modalities and multimodalities : pbk
Paper図書
Walter Carnielli, Claudio Pizzi ; with the assistance and collaboration of Juliana Bueno-SolerSpringerc2009
Other Libraries in Japan
  • Author HeadingCarnielli, Walter A. (Walter Alexandre) Pizzi, Claudio Bueno-Soler, J...

Analysis and synthesis of logics : how to cut and paste reasoning systems : e-book

Analysis and synthesis of logics : how to cut and paste reasoning systems : e-book
Paper図書
by Walter Carnielli ... [et al.]Springerc2008
Other Libraries in Japan
  • Author HeadingCarnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo Gabbay, Dov...

Handbook of paraconsistency

Handbook of paraconsistency
Paper図書
edited by Jean-Yves Béziau, Walter Carnielli, Dov GabbayCollege Publicationsc2007
Other Libraries in Japan
  • Author Heading...iau, Jean-Yves Carnielli, Walter A. (Walter Alexandre) Gabbay, Dov M.

Computability : computable functions, logic, and the foundations of mathematics 2nd ed.

Computability : computable functions, logic, and the foundations of mathematics 2nd ed.
Paper図書
Richard L. Epstein, Walter A. CarnielliWadsworthc2000
Other Libraries in Japan
  • Author HeadingEpstein, Richard L. Carnielli, Walter A. (Walter Alexandre)

Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo

Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo
Paper図書
edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'OttavianoM. Dekkerc2002
Other Libraries in Japan
  • Author HeadingCarnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo Esteban D'O...

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Paper図書
Walter A. Carnielli, Itala M.L. D'Ottaviano, editorsAmerican Mathematical Societyc1999
Other Libraries in Japan
  • Author Heading...ematical Logic Carnielli, Walter A. (Walter Alexandre) D'Ottaviano, Itala M. L.

Computability : computable functions, logic, and the foundations of mathematics

Computability : computable functions, logic, and the foundations of mathematics
Paper図書
Richard L. Epstein, Walter A. CarnielliWadsworth & Brooks/Cole Advanced Books & Softwarec1989
Other Libraries in Japan
  • Author HeadingEpstein, Richard L. Carnielli, Walter A. (Walter Alexandre)

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
Paper図書
Walter A. Carnielli and Luiz Paulo de Alcantara, editorsAmerican Mathematical Societyc1988
Other Libraries in Japan
  • Author HeadingCarnielli, Walter A. (Walter Alexandre) Alcantara, Luiz Paulo de Soci...

Reached to the end of result.

RSS