Logo Regione Toscana

biblio toscana
Cerca

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 220-240 di 1074

testo

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
testo

A survey of symbolic logic

  • Lewis, Clarence Irving
testo

Symbolic Logic

an Introduction

  • Fitch, Frederic Brenton
testo

How to read and do proofs

an introduction to mathematical thought processes

  • Solow, Daniel
testo

Logic and complexity

  • Lassaigne, Richard
testo

Proofs and fundamentals

a first course in abstract mathematics

  • Bloch, Ethan D.
testo

Méthode axiomatique et formalisme

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

  • Cavaillès, Jean
testo

We built our own computers

  • The school mathematics project
testo

Computability

computable functions, logic, and the foundations of mathematics

  • Epstein, Richard L.
testo

Theory and applications of satisfiability testing

6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

  • International conference on theory and applications of satisfiability testing 6. Santa Margherita Ligure, Italy 2003
testo

Formale Logik

  • Lorenzen, Paul
testo

L'incompletezza dell'aritmetica dopo Gödel

il teorema di Paris-Harrinton : tesi di laurea

  • Pulcini, Gabriele 1976-
testo

Ozi matematici

  • Mataix, Mariano
testo

Temporal logic

  • Rescher, Nicholas

Risultati 220-240 di 1074

Seguici su Twitter

I Nostri Social