Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 20-40 di 458

Il continuo

Indagini critiche sui fondamenti dell' analisi

  • Weyl, Hermann

Leibniz e la logica simbolica [+]

  • Leibniz, Gottfried Wilhelm: von

Logica

  • Kant, Immanuel

ReLog

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

  • Mangani, Nello

Le reti di Petri

teoria e pratica

  • Brams, G. W.

Proprietà e operazioni

teorie non estensionali delle classi

  • Cantini, Andrea

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

Elementi di logica matematica

  • Novikov, Petr Sergeevič