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 1-20 di 109

testo

Alfred Tarski

life and logic

  • Feferman, Anita Burdman
testo

Logic and combinatorics

proceedings of the AMS-IMS-SIAM joint summer research conference held at Humbolt state university, Arcata, California, on August 4-10, 1985, with support from the National science foundation

  • AMS-IMS-SIAM joint summer research conference in the mathematical sciences on applications of mathematical logic to finite combinatorics Arcata 1985
testo

Collected works

  • Lesniewski, Stanislaw
testo

George Boole

selected manuscripts on logic and its philosophy

  • Boole, George. 1815-1864
testo

Logic

a foundation for computer science

  • Sperschneider, Volker
testo

An introduction to mathematical logic and type theory [+]

to truth through proof

  • Andrews, Peter Bruce
testo

Logic Colloquium '77

proceedings of the Colloquium held in Wroclaw, August 1977

  • Logic colloquium Wroclaw, Poland 1977

Risultati 1-20 di 109

Seguici su Twitter

I Nostri Social