BiblioToscana - Catalogo

Home - Catalogo

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

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

Il continuo

Indagini critiche sui fondamenti dell' analisi

Weyl, Hermann

Leibniz e la logica simbolica [+]

Leibniz, Gottfried Wilhelm: von

Teoria della dimostrazione [+]

Categorie, universi e principi di riflessione

Lolli, Gabriele

Cos'è la logica matematica

Lolli, Gabriele

Categorie nella pratica matematica

MacLane, Sunders

Logica dimostrativa

Saccheri, Girolamo

Leggi fondamentali dell' aritmetica [+]

Frege, Gottlob

La prova matematica dell'esistenza di Dio

Kurt Goedel

GoedelKurt

The lambda calculus

its syntax and semantics

Barendregt, Hendrik Pieter

Alle origini della nuova logica

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

Frege, Gottleb

Opere volume 1.: 1929-1936

Gödel, Kurt

La logica formale

Bocheński, Joseph M.

Fondamenti di logica per insegnanti

Varga, Tamás

Notizie di logica

Filosofia della statistica

volume unico

Gioia, Melchiorre

Tractatus logico-philosophicus

Wittgenstein, Ludwig

Pradikatenlogik und theorie der rekursiven funktionen

Hermes, Hans

Risultati 20-40 di 458