Home - Catalogo

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 1-20 di 458

testo

Le reti di Petri

teoria e pratica

  • Brams, G. W.
testo

Logica dimostrativa

  • Saccheri, Girolamo
testo

The lambda calculus

its syntax and semantics

  • Barendregt, Hendrik Pieter
testo

Leibniz e la logica simbolica [+]

  • Leibniz, Gottfried Wilhelm: von
testo

Alle origini della nuova logica

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

  • Frege, Gottleb
testo

Mathematical logic

  • Ebbinghaus, Heinz Dieter
testo

Alle origini della nuova logica

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

  • Frege, Friedrich Ludwig Gottlob
testo

Teoria dei modelli

  • Chang, Chen-Chung
testo

La logica matematica

  • Bocheński, Joseph M.

Risultati 1-20 di 458