Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Walter. Carnielli 14 träffar

Titel Författare År Språk
1-2 Computability - computable functions, logic, and the foundations of mathematics (flera utgåvor) Richard L. Epstein cop. 1989 Engelska
3 Paraconsistency - the logical way to the inconsistent : proceedings of the world congress held in Sao Paulo Brazil) World Congress on Paraconsistency 2000 : Sao Paulo c2002 Engelska
4 Analysis and synthesis of logics - how to cut and paste reasoning systems c2008 Engelska
5 Methods and applications of mathematical logic - proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985, at the State University of Campinas Latin-American Symposium on Mathematical Logic 1985 : Campinas) cop. 1988 Engelska
6 Paraconsistency - the logic way to the inconsistent 2002 Engelska
7 Analysis and Synthesis of Logics electronic resource - How to Cut and Paste Reasoning Systems Walter. Carnielli 2008 Engelska
8 Modalities and Multimodalities electronic resource - With the assistance and collaboration of Juliana Bueno-Soler Walter. Carnielli 2008 Engelska
9 Model-Based Reasoning in Science and Technology - Abduction, Logic, and Computational Discovery Lorenzo. Magnani 2010 Engelska
10 The significance of the new logic W. V. Willard Van Orman Quine 2018 Engelska
11 Paraconsistent Logic: Consistency, Contradiction and Negation Walter. Carnielli 2016 Engelska
12 Contradictions, From Consistency to Inconsistency Walter A. Carnielli 2018 Okänt
13 Paraconsistent Logic: Consistency, Contradiction and Negation electronic resource / by Walter Carnielli, Marcelo Esteban Coniglio Walter. author. Carnielli uuuu-uuuu Okänt
14 Modalities and Multimodalities electronic resource / by Walter Carnielli, Claudio Pizzi Walter. author. Carnielli uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.