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 220-240 di 750

testo

Advances in logic

the North Texas logic conference, october 8-10, 2004, University of North Texas, Denton, Texas

  • The North texas logic conference Denton, Texas 2004
testo

Interactive Theorem Proving and Program Development

Coq'Art: the calculus of inductive constructions

  • Bertot, Yves
testo

Quantifiers, propositions and identity

admissible semantics for quantified modal and substructural logics

  • Goldblatt, Robert
testo

Logica e informatica

scienze dell'artificiale e scienze dell'uomo

  • Sacchi, Giorgio
testo

Logic

a brief course

  • Mundici, Daniele 1946-
testo

After Gödel

Platonism and rationalism in mathematics and logic

  • Tieszen, Richard L.
testo

Truth through proof

a formalist foundation for mathematics

  • Weir, Alan
testo

Gnomes in the fog

the reception of Brouwer's intuitionism in the 1920s

  • Hesseling, Dennis E.
testo

Logic and foundations of mathematics

selected contributed papers of the 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

Language, quantum, music

selected contributed papers of the 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

Logica: metodo breve

  • Mundici, Daniele 1946-
testo

Introduction à la logique

théorie de la démonstration : cours et exercices corrigés

  • David, René 1948-

Risultati 220-240 di 750

Seguici su Twitter

I Nostri Social