biblio toscana

Libri preferiti

Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti

Area Personale

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Titolo

Autore

Soggetto

Ordinamento Alfabetico Alf. decr. Rilevanza Anno cresc. Anno decr.

Localizzazione Tutte Risorse pubblicate in Toscana

Lingua

Nazione

Tipologia Tipologia di supporto

Livello Bibliografico

Pubblicato dal

al

Isbn

Annulla ricerca

Risultati ricerca

Risultati 120-140 di 750

La teoria della dimostrazione di Gerhard Gentzen

tesi di laurea

Malpelo, Giovanni 1986-

Mathematical logic

Quine, W. V.

Matematica e logica nella storia e nel pensiero contemporaneo [+]

Carruccio, Ettore

La structure algébrique des théories mathématiques

Henkin, Leon

The language of logic

Freudenthal, Hans

Logique mathématique appliquée

Freudenthal, Hans

Einführung in die operative Logik und Mathematik

Lorenzen, Paul

A first course in fuzzy logic

Nguyen, Hung T.

Axiom of choice

Herrlich, Horst

Truth-functional logic

Faris, John Acheson

How to read and do proofs

an introduction to mathematical thought processes

Solow, Daniel

Basic proof theory

Troelstra, Anne S.

Introduction to Mathematical logic [+]

Mendelson, Elliott

The Resolution Calculus

Leitsch, Alexander

Méthode axiomatique et formalisme

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

Cavaillès, Jean

Proof theory and automated deduction

Goubault-Larrecq, Jean

THE ELEMENTS OF MATHEMATICAL LOGIC

Rosenbloom, Paul C.

Non-separable Borel sets

Stone, A.H.

Aspects of inductive logic

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

Risultati 120-140 di 750