Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 40-60 di 458

Le reti di Petri

teoria e pratica

  • Brams, G. W.

Proprietà e operazioni

teorie non estensionali delle classi

  • Cantini, Andrea

Logic for computer science

foundations of automatic theorem proving

  • Gallier, Jean H.

Mathematical logic

  • Ebbinghaus, Heinz Dieter

Il riso di Talete

matematica e umorismo

  • Lolli, Gabriele

ReLog

regole logiche nelle dimostrazioni matematiche : le origini e lo sviluppo della logica nella fondazione delle teorie formali

  • Mangani, Nello

Il continuo

Indagini critiche sui fondamenti dell' analisi

  • Weyl, Hermann

Statistiche come e perchè

a cosa servono, come si usano

  • Zuliani, Alberto

Elementi di logica matematica

  • Novikov, Petr Sergeevič

La logica matematica

  • Bocheński, Joseph M.

Alle origini della nuova logica

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

  • Frege, Friedrich Ludwig Gottlob