Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 580-600 di 2094

Truth-functional logic

  • Faris, John Acheson

Logic and foundations of mathematics

selected contributed papers of the tenth international congress of logic, methodology and philosophy of science, Florence, August 1995

  • International congress of logic, methodology and philosophy of science Florence 1995

A survey of symbolic logic

  • Lewis, Clarence Irving

Symbolic Logic

an Introduction

  • Fitch, Frederic Brenton

How to read and do proofs

an introduction to mathematical thought processes

  • Solow, Daniel

Logic and complexity

  • Lassaigne, Richard

Proofs and fundamentals

a first course in abstract mathematics

  • Bloch, Ethan D.

Algorithms and computation

16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005 : proceedings

  • International symposium on algorithms and computation 16. Sanya, Hainan, Cina 2005

Lezioni di aritmetica ed algebra

ad uso degli alunni del I° biennio dell'Istituto tecnico

  • Amici, Nicola

Nomographic charts

  • Kulmann, Albert C.

Méthode axiomatique et formalisme

essai sur le problème du fondement des mathématiques

  • Cavaillès, Jean