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 380-400 di 1074

testo

Set theory and its philosophy

a critical introduction

  • Potter, Michael D.
testo

Logica e informatica

scienze dell'artificiale e scienze dell'uomo

  • Sacchi, Giorgio
testo

Logic

a brief course

  • Mundici, Daniele 1946-
testo

Typed lambda calculi and applications

10. international conference, TLCA 2011 : Novi Sad, Serbia, june 1-3, 2011 : proceedings

  • International conference on typed lambda calculi and applications 10. Novi Sad 2011
testo

La computabilità

algoritmi, logica, calcolatori

  • Frixione, Marcello
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

A history of the theory of types

developments after the second edition of Principia Mathematica

  • Collins, Jordan
testo

Introduction à la logique

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

  • David, René 1948-
testo

Logic without frontiers

Festschrift for Walter Alexandre Carnielli on the occasione of his 60th birthday

testo

Le point aveugle

cours de logique

  • Girard, Jean Yves
testo

Towards mathematical philosophy

papers from the Studia Logica conference Trends in logic 4.

Risultati 380-400 di 1074

Seguici su Twitter

I Nostri Social