Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 60-80 di 458

Elementi di logica matematica

  • Novikov, Petr Sergeevič

Le reti di Petri

teoria e pratica

  • Brams, G. W.

Logica dimostrativa

  • Saccheri, Girolamo

The lambda calculus

its syntax and semantics

  • Barendregt, Hendrik Pieter

Alle origini della nuova logica

carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri

  • Frege, Gottleb

Dalla logica alla metalogica

scritti fondamentali di logica matematica

  • Casari, Ettore <1933-2019>

L'importanza di essere fuzzy [+]

matematica e computer

  • Sangalli, Arturo

L'infinito [+]

  • Lombardo Radice, Lucio