Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 180-200 di 2094

testo

From Peirce to Skolem

a neglected chapter in the history of logic

  • Brady, Geraldine
testo

Constructive approaches to mathematical models

proceedings of a conference in honor of R.J. Duffin, Pittsburgh, Pennsylvania 10-14 July 1978

testo

The limits of mathematics [+]

a course on information theory and the limits of formal reasoning

  • Chaitin, Gregory J.
testo

Introduction to Boolean algebra and logic design

a program for self-instruction

  • Hoernes, Gerhard E.
testo

Symbolic logica

an introductory textbook for non-mathematicians

  • Lee, Harold Newton
testo

Studies in logic

by members of the Johns Hopkins university, 1883

testo

Typed lambda calculi and applications

7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings

  • International conference on typed lambda calculi and applications 7. Nara, Japan 2005
testo

After Gödel

Platonism and rationalism in mathematics and logic

  • Tieszen, Richard

Risultati 180-200 di 2094

Seguici su Twitter

I Nostri Social