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 420-440 di 750

Mathematical logic in the 20th century

Sacks, Gerald E.

Problems in set theory, mathematical logic and the theory of algorithms

Lavrov, Igor

Atti del Congresso nazionale di logica

Montecatini Terme, 1-5 ottobre 1979

Congresso nazionale di logica<1979; Montecatini Terme>

Storia della logica delle scienze esatte

Albèrgamo, Francesco

Scritti scelti [+]

1933-1964

Gödel, Kurt

ReLog

regole logiche nelle dimostrazioni matematiche : le origini e lo sviluppo della logica nella fondazione delle teorie formali

Mangani, Nello

Tractatus logico-philosophicus ; e Quaderni 1914-1916

Wittgenstein, Ludwig

Storia della logica delle scienze empiriche

Albèrgamo, Francesco

Mathematical logic [+]

Ebbinghaus, Heinz Dieter

Confrontabilità tra teorie

Pianigiani, Duccio

Una teoria consequenzialista dei condizionali [+]

Pizzi, Claudio

Il riso di Talete

matematica e umorismo

Lolli, Gabriele

Matematica senza numeri [+]

Spirito, Giuliano

Leggi fondamentali dell' aritmetica [+]

Frege, Gottlob

La prova matematica dell'esistenza di Dio

Kurt Goedel

GoedelKurt

Il pensiero matematico [+]

Russell Stabler, Edward

Proof theory and logical complexity [+]

Girard, Jean-Yves

La nuova logica

Fuchs, Walter R.

Jean Cavaillès: alla ricerca di una fondazione dell'operare matematico

Jacumin, Renato

Introduction to metamathematics

Kleene, Stephen Cole

Risultati 420-440 di 750