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 40-60 di 458

Mathematical logic

Ebbinghaus, Heinz Dieter

Opere [+]

Gödel, Kurt

Categorie nella pratica matematica

MacLane, Sunders

Quanti calzini fanno un paio?

le sorprese della matematica nella vita di tutti i giorni

Eastaway, Robert

Elements of logic and foundations of mathematics in problems

Marek, Wiktor

Logica dimostrativa

Saccheri, Girolamo

Leggi fondamentali dell' aritmetica [+]

Frege, Gottlob

Categorie, universi e principi di riflessione

Lolli, Gabriele

The lambda calculus

its syntax and semantics

Barendregt, Hendrik Pieter

La prova matematica dell'esistenza di Dio

Kurt Goedel

GoedelKurt

Leibniz e la logica simbolica [+]

Leibniz, Gottfried Wilhelm: von

Alle origini della nuova logica

carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri

Frege, Gottleb

Il continuo

Indagini critiche sui fondamenti dell' analisi

Weyl, Hermann

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

Teoria della dimostrazione [+]

Statistiche come e perchè

a cosa servono, come si usano

Zuliani, Alberto

On herbrand' s theorem in manyvalued logics

Matteuzzi, Maurizio

Una guida ai risultati di incompletezza di Kurt Gödel

Pianigiani, Duccio

Le logiche libere [+]

Risultati 40-60 di 458