Search Results - Carnielli, Walter Alexandre 1952-

  • Showing 1 – 16 results of 16
Filter by
  1. 1
    Cover Image

    Analysis and synthesis of logics: how to cut and paste reasoning systems
    by Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban, Gabbay, Dov M. 1945-, Gouveia, Paula, Sernadas, Cristina

    Published 2008
    Read online
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Computability: computable functions, logic, and the foundations of mathematics
    by Epstein, Richard L. 1947-, Carnielli, Walter Alexandre 1952-, Epstein, Richard L. 1947-

    Published 2000
    Book


    Saved in:
  3. 3
    Cover Image

    Modalities and multimodalities
    by Carnielli, Walter Alexandre 1952-, Pizzi, Claudio 1944-

    Published 2008
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Systematization of finite many-valued logics through the method of tableaux
    by Carnielli, Walter Alexandre 1952-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Polarized partition relations of higher dimension
    by Carnielli, Walter Alexandre 1952-, Prisco, Carlos A. di

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    The problem of quantificational completeness and the characterization of all perfect quantifiers in 3-valued logics
    by Carnielli, Walter Alexandre 1952-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    On covering and coloring problems for rook domains
    by Carnielli, Walter Alexandre 1952-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Paraconsistent Logic: Consistency, Contradiction and Negation
    by Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban

    Published 2016
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  9. 9
    Cover Image

    Paraconsistent logic: consistency, contradiction and negation
    by Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban

    Published 2016
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Modalities and Multimodalities: with the assistance and collaboration of Juliana Bueno-Soler
    by Carnielli, Walter Alexandre 1952-, Pizzi, Claudio 1944-

    Published 2009
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Modalità e multimodalità
    by Carnielli, Walter Alexandre 1952-, Pizzi, Claudio

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Computability: computable functions, logic, and the foundations of mathematics
    by Epstein, Richard L. 1947-, Carnielli, Walter Alexandre 1952-

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Contradictions, from consistency to inconsistency

    Published 2018
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Read online
    Electronic eBook


    Saved in:
  14. 14
    Cover Image

    Contradictions, from consistency to inconsistency

    Published 2018
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    The significance of the new logic
    by Quine, W. V. 1908-2000

    Published 2020
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  16. 16
    Cover Image

    The significance of the new logic
    by Quine, W. V. 1908-2000

    Published 2018
    Other Authors: “…Carnielli, Walter Alexandre 1952-…”
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: