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 750

testo

Gödel, Escher, Bach [+]

un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carroll

  • Hofstadter, Douglas R.
testo

Logic and computer science

lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

  • Centro internazionale matematico estivo
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

Tenth International Congress of logic, methodology and philosophy of science

Florence, august 1995

  • International Congress of logic methodology and philosophy of science 10. Firenze 1995
testo

Collected works

  • Lesniewski, Stanislaw
testo

Completezza, compattezza e indecidibilita

un'introduzione alla logica matematica

  • Manaster, Alfred B.
testo

Mathematical logic

a first course

  • Robbin, Joel W.
testo

Volume of abstracts

10. international congress of logic, methodology and philosophy of science, August 19-25, Florence, Italy

  • International Congress of logic methodology and philosophy of science 10. Firenze 1995
testo

George Boole

selected manuscripts on logic and its philosophy

  • Boole, George. 1815-1864
testo

Proof theory [+]

the first step into impredicativity

  • Pohlers, Wolfram
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 180-200 di 750

Seguici su Twitter

I Nostri Social