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 1-20 di 105

Gatti neri, gatti bianchi

Cerasoli, Anna

Implicazioni, endometria, universo del discorso

Testo bilingue di Franco Spisani

Spisani, Franco

Dimostrazioni e confutazioni

La logica della scoperta matematica

Lakatos, Imre

Logic for computer science

foundations of automatic theorem proving

Gallier, Jean H.

Le meraviglie dell'aritmetica

Rittaud, Benoit

Scritti di logica

Leibniz, Gottfried Wilhelm: von

Introduction a la logique mathematique

Novikov, Petr Sergeevič

Problemi di logica per ragazze e ragazzi svegli

Elements of logic and foundations of mathematics in problems

Marek, Wiktor

Sistemi di riferimento categoriali

Körner, Stephan

Le reti di Petri

teoria e pratica

Brams, G. W.

Logica matematica e teorie formalizzate

un quadro generale dei concetti e dei risultati fondamentali

Rogers, Robert<1926- >

Logica dimostrativa

Saccheri, Girolamo

Leggi fondamentali dell' aritmetica

Frege, Gottlob

La logica del tempo [+]

Categorie, universi e principi di riflessione

Lolli, Gabriele

Categorie nella pratica matematica

MacLane, Sunders

The lambda calculus

its syntax and semantics

Barendregt, Hendrik Pieter

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

Risultati 1-20 di 105