Yazar
Walter Carnielli
15 cilt bulundu.
Richard L. Epstein, Richard .L. Epstein, Walter Alexandr Carnielli · Chapman & Hall/CRC
309 sayfa · 1988
Computable functions / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Mathematics
Walter A. Carnielli · Springer
600 sayfa · 2008
Symbolic and mathematical Logic / Logic, symbolic and mathematical / Mathematics / Logic / Computer science
Lorenzo Magnani, Walter A. Carnielli, Claudio Pizzi · Springer
654 sayfa · 2010
Model-based reasoning / Congresses / Reasoning / Science, methodology / Discoveries in science
Richard L. Epstein, Walter A. Carnielli · Wadsworth Publishing
299 sayfa · 1989
Computable functions / Gödel's theorem / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic
Walter Alexandr Carnielli, Marcelo Coniglio, Itala Maria Lof D'ottaviano · Taylor & Francis Group
376 sayfa · 2002
Inconsistency (Logic) / Congresses / Inconsistance (Logique) / Congrès
R. L. Epstein, Walter Carnielli, Itala M. d'Ottaviano, Stanislaw Krajewski, Roger D. Maddux · Springer Netherlands
Sayfa sayısı yok · 2013
Logic / Logic, symbolic and mathematical / Semantics
Willard Van Orman Quine, Walter Carnielli, Frederique Janssen-Lauret, William Pickering · Cambridge University Press
Sayfa sayısı yok · 2018
Logic, symbolic and mathematical