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 320-340 di 2094

testo

Enumerative combinatorics

Vol. 1

  • Stanley, Richard P.
testo

Gödel '96

logical foundations of mathematics, computer science, and physics : Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings

testo

What is a model of axiomatic set theory? [+]

tesi di dottorato

  • Bellotti, Luca
testo

Reflections on the foundations of mathematics

essays in honor of Solomon Feferman

testo

How to prove it

a structured approach

  • Velleman, Daniel J.
testo

Logic Colloquium '87

proceedings of the colloquium held in Granada, July 20-25, 1987

  • Logic colloquium Granada 1987
testo

La reconstruction d'une relation dans l'hypothèse forte

isomorphie des restrictions à chaque partie stricte de la base

  • Fraissé, Roland
testo

Traité de nomographie [+]

étude générale de la représentation graphique cotée des équations a un nombre quelconque de variables, applications pratiques

  • Ocagne, Maurice d'
testo

Foundations without foundationalism

a case for second-order logic

  • Shapiro, Stewart

Risultati 320-340 di 2094

Seguici su Twitter

I Nostri Social