Risultati di Ricerca

Risultati: 1-12 di 143

Modifica la ricerca

Filtri attivi:

Classe Dewey: 511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Visualizza

Ordina per

Testo

La scienza dei simboli : contributo allo studio dei principi e dei metodi della simbolica

Alleau, Ren

Testo

Lineamenti di logica matematica

Casari, Ettore <1933-2019>

Testo

Logica e aritmetica

Frege, Gottlob

Testo

Vollstandige Systeme modaler und intuitionistischer Logik

Schütte, Kurt

Testo

Cellular automata machines : a new environment for modeling

Toffoli, Tommaso

Testo

Mathematische Gesetze der Logik. 1, *Vorlesungen uber Aussagenlogik

Schmidt, Hermann Arnold

Testo

Logica

Varzi, Achille C.

Testo

Gödel, Escher, Bach : un'eterna ghirlanda brillante

Hofstadter, Douglas R.

Testo

Atti del Congresso Logica e filosofia della scienza, oggi : San Gimignano, 7-11 dicembre 1983

Congresso Logica e filosofia della scienza, oggi <1983

$\1!: Siena, 7-8-9 gennaio 1982, 15-16-17 aprile 1982, 4-5-6 giugno 1982$

Testo

\1!: Siena, 7-8-9 gennaio 1982, 15-16-17 aprile 1982, 4-5-6 giugno 1982

Testo

Le ragioni fisiche e le dimostrazioni matematiche

Lolli, Gabriele

Testo

Scritti postumi

Frege, Gottlob

Filtra Risultati

Autore Principale
- Lolli, Gabriele
  (6)
- Frege, Gottlob
  (5)
- Carnap, Rudolf
  (3)
- Schütte, Kurt
  (3)
- Berto, Francesco <1973- >
  (2)
- Borceux, Francis
  (2)
- Congresso Nuovi problemi della logica e della filosofia della scienza <1990
  (2)
- Hofstadter, Douglas R.
  (2)
- Russell, Bertrand
  (2)
- Smullyan, Raymond
  (2)
- Aczel, Amir D.
  (1)
- Adamek, Jiri
  (1)
- Agazzi, Evandro
  (1)
- Agostini, Franco
  (1)
- Alfano, Florindo
  (1)
- Alleau, Ren
  (1)
- Baranov, Samari I.
  (1)
- Barié, Giovanni Emanuele
  (1)
- Barnes, Donald W. <1935->
  (1)
- Barwise, Jon
  (1)
- Altro Tutti
Nomi
- Lolli, Gabriele
  (6)
- Frege, Gottlob
  (5)
- Mangione, Corrado
  (5)
- Società italiana di logica e filosofia delle scienze
  (4)
- Carnap, Rudolf
  (3)
- Schütte, Kurt
  (3)
- Tarski, Alfred
  (3)
- Barwise, Jon
  (2)
- Berto, Francesco <1973- >
  (2)
- Borceux, Francis
  (2)
- Cellucci, Carlo
  (2)
- Congresso Nuovi problemi della logica e della filosofia della scienza <1990
  (2)
- Dalen, Dirk : van
  (2)
- Geymonat, Ludovico
  (2)
- Henkin, Leon
  (2)
- Hermes, Hans
  (2)
- Hofstadter, Douglas R.
  (2)
- LITP <Parigi>
  (2)
- Pasquinelli, Alberto
  (2)
- Russell, Bertrand
  (2)
- Altro Tutti
Lingua
- ITALIANO
  (72)
- INGLESE
  (66)
- TEDESCO
  (7)
- FRANCESE
  (2)
- Altro Tutti
Classe Dewey
Soggetto BNI
- Logica matematica
  (48)
- Logica simbolica
  (11)
- Logica matematica - Congressi
  (8)
- Logica
  (6)
- Automi cellulari
  (5)
- Categoria <matematica>
  (5)
- Teoria della dimostrazione
  (5)
- Gödel, Kurt
  (4)
- TEOREMA DI GODEL
  (4)
- Logica - Saggi
  (3)
- Logica fuzzy
  (3)
- Matematica
  (3)
- Teoria dei modelli
  (3)
- Teoria della computabilità
  (3)
- Aritmetica
  (2)
- Bach, Johann Sebastian
  (2)
- Epistemologia - Congressi
  (2)
- Godel, Kurt - Teorie
  (2)
- Informatica
  (2)
- Intelligenza artificiale
  (2)
- Altro Tutti

Chiudi

Risultati Ricerca

Risultati di Ricerca

Argomenti