Suchergebnisse - Carnielli, Walter Alexandre 1952-

  • Treffer 1 – 16 von 16
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2008
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 2016
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2016
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 2009
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Contradictions, from consistency to inconsistency

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Carnielli, Walter Alexandre 1952- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    Contradictions, from consistency to inconsistency

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Carnielli, Walter Alexandre 1952- …”
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Carnielli, Walter Alexandre 1952- …”
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Carnielli, Walter Alexandre 1952- …”
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: