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 372

Proof theory and logical complexity

Girard, Jean-Yves

Fondamenti di logica per insegnanti

Varga, Tamás

Atti del Convegno internazionale di storia della logica

San Gimignano, 4-8 dicembre 1982

Convegno internazionale di storia della logica<1982 ;San Gimignano>

Introduction to metamathematics

Kleene, Stephen Cole

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

Jacumin, Renato

Teoria delle reti logiche: reti combinatorie

Luccio, Fabrizio

Logica for dummies

Zegarelli, Mark

Matematico e impertinente [+]

varietà differenziale

Odifreddi, Piergiorgio

Teoria dei modelli [+]

Chang, Chen-Chung

Donna o tigre? e altri indovinelli logici, compreso un racconto matematico sul teorema di Gödel

Smullyan, Raymond

La logica matematica

Bocheński, Joseph M.

Mathematical logic

Ebbinghaus, Heinz Dieter

Confrontabilità tra teorie

Pianigiani, Duccio

A course in mathematical logic

Bell, John Lane

La logica da Leibniz a Frege

Mugnai, Massimo

Esperimenti di introduzione della logica nelle scuole elementari [+]

Robert, Marguerite

Storia della logica delle scienze esatte

Albèrgamo, Francesco

The logical problem of induction

Wright, Georg Henrik: von

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

Risultati 20-40 di 372