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 60-80 di 2094

testo

Gentzen's centenary

the quest for consistency

testo

Birkhoff interpolation

  • Lorentz, George Günther
testo

The langevin equation

with applications to stochastic problems in physics, chemistry and electrical engineering

  • Coffey, William
testo

Intensional and higher-order modal logic

with applications to montague semantics

  • Gallin, Daniel
testo

Les principes des mathématiques [+]

avec un appendice sur la philosophie des mathématiques de Kant

  • Couturat, Louis
testo

Logic, semantics, metamathematics

papers from 1923 to 1938

  • Tarski, Alfred
testo

Parts of classes

  • Lewis, David K.
testo

Combinatorics

proceedings of the 8th British combinatorial conference, University college, Swansea, 1981

  • British combinatorial conference 8. Swansea 1981
testo

Stable groups

  • Poizat, Bruno
testo

Seminari di logica lineare

calcolo dei sequenti e semantica delle fasi

  • Abrusci, Vito Michele
testo

Numerische Methoden bei graphentheoretischen und kombinatorischen Problemen

Vortragsauszüge der Tagung über numerische Methoden bei graphentheoretischen und kombinatorischen Problemen vom 7. bis 12. Mai 1978 im Mathematischen Forschungsinstitut Oberwolfach (Schwarzwald) : Band 2

  • Tagung über numerische Methoden bei graphentheoretischen und kombinatorischen Problemen Oberwolfach 1978

Risultati 60-80 di 2094

Seguici su Twitter

I Nostri Social