Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 160-180 di 750

Deduktion

automatisierung der Logik

  • Bibel, Wolfgang

Eliminating the universe

logical properties of natural language

  • Keenan, Edward Louis 1937-

Abstract logics

Classical abstract logics

  • Brown, D.J.

Mechanizing mathematical reasoning

essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Sulla logica della mente umana

un approccio non binario : tesi di laurea

  • Caputo, Gianluca

Fallacies in mathematics

  • Maxwell, Edwin Arthur

Journey into mathematics

an introduction to proofs

  • Rotman, Joseph J.

DNA computing

9th international workshop on DNA based computers, DNA9, Madison, WI, USA, June 1-3, 2003 : revised papers

  • International workshop on DNA based computers 9. Madison, WI, USA 2003

Die Grundlagen der Arithmetik [+]

Eine logisch mathematische Untersuchung uber den Begriff der Zahl

  • Frege, Gottlob