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 660-680 di 2094

testo

Recursive function theory

[proceedings of the fifth symposium in pure mathematics of the American mathematical society, held at the hotel New Yorker, New York, New York, April 6-7, 1961]

  • Symposium in pure mathematics 5. New York 1961
testo

Graph theory

  • Bondy, John Adrian
testo

The uncertain reasoner's companion

a mathematical perspective

  • Paris, Jeff B.
testo

Combinatorial mathematics

proceedings of the International colloquium on graph theory and combinatorics, Marseille-Luminy, June 1981

  • International colloquium on graph theory and combinatorics Marseille-Luminy 1981
testo

Subrecursion

functions and hierarchies

  • Rose, Horace Edgard
testo

Temporal logic

mathematical foundations and computational aspects

  • Gabbay, Dov M.
testo

Three-valued logic and cut-elimination

the actual meaning of Takeuti's conjecture

  • Girard, Jean-Yves
testo

Model theory

an introduction

  • Marker, David
testo

Logic colloquium '85

proceedings of the Colloquium held in Orsay, France, July 1985

  • Logic colloquium Orsay 1985
testo

Nonstandard analysis

theory and applications

  • Arkeryd, Leif

Risultati 660-680 di 2094

Seguici su Twitter

I Nostri Social