Treffer 1 – 16 von 16 für Suche 'Carnielli, Walter Alexandre 1952-', Suchdauer: 0,08s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Modalities and multimodalities von Carnielli, Walter Alexandre 1952-, Pizzi, Claudio 1944-
Veröffentlicht 2008Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
2
Systematization of finite many-valued logics through the method of tableaux von Carnielli, Walter Alexandre 1952-
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
3
Paraconsistent Logic: Consistency, Contradiction and Negation von Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban
Veröffentlicht 2016Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
4
Polarized partition relations of higher dimension von Carnielli, Walter Alexandre 1952-, Prisco, Carlos A. di
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
5
The problem of quantificational completeness and the characterization of all perfect quantifiers in 3-valued logics von Carnielli, Walter Alexandre 1952-
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
6
On covering and coloring problems for rook domains von Carnielli, Walter Alexandre 1952-
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
7
Paraconsistent logic consistency, contradiction and negation von Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban
Veröffentlicht 2016Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
8
Modalities and Multimodalities with the assistance and collaboration of Juliana Bueno-Soler von Carnielli, Walter Alexandre 1952-, Pizzi, Claudio 1944-
Veröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen … -
9
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 2008Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
10
Modalità e multimodalità von Carnielli, Walter Alexandre 1952-, Pizzi, Claudio
Veröffentlicht 2001Signatur: Wird geladen …
Standort: Wird geladen … -
11
Computability computable functions, logic, and the foundations of mathematics von Epstein, Richard L. 1947-, Carnielli, Walter Alexandre 1952-, Epstein, Richard L. 1947-
Veröffentlicht 2000Signatur: Wird geladen …
Standort: Wird geladen … -
12
Computability computable functions, logic, and the foundations of mathematics von Epstein, Richard L. 1947-, Carnielli, Walter Alexandre 1952-
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen … -
13
Contradictions, from consistency to inconsistency
Veröffentlicht 2018Weitere Verfasser: “… Carnielli, Walter Alexandre 1952- …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch E-Book -
14
Contradictions, from consistency to inconsistency
Veröffentlicht 2018Weitere Verfasser: “… Carnielli, Walter Alexandre 1952- …”
Signatur: Wird geladen …
Standort: Wird geladen … -
15
The significance of the new logic von Quine, W. V. 1908-2000
Veröffentlicht 2020Weitere Verfasser: “… Carnielli, Walter Alexandre 1952- …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
16
The significance of the new logic von Quine, W. V. 1908-2000
Veröffentlicht 2018Weitere Verfasser: “… Carnielli, Walter Alexandre 1952- …”
Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen