Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 40-60 di 1268

Leibniz e la logica simbolica [+]

  • Leibniz, Gottfried Wilhelm: von

Arithmétique générale

mathematiques elementaires classes preparatoires aux grandes ecoles et propedeutiques

  • Doneddu, Alfred

Logica

  • Kant, Immanuel

Calcolo combinatorio, numeri complessi

teoria ed esercizi

  • Balduccetti, Rodolfo

Logica dimostrativa

  • Saccheri, Girolamo

Dilemmi logici

la vita e l'opera di Kurt Godel

  • Dawson, John W.

The lambda calculus

its syntax and semantics

  • Barendregt, Hendrik Pieter

Enumerabilità, decidibilità, computabilità

introduzione alla teoria delle funzioni ricorsive

  • Hermes, Hans

Compendio di matematica finanziaria

(classica e moderna)

  • Iodice, Carla

Valore e uso del suolo urbano

contributo a una teoria generale della rendita

  • Alonso, William