biblio toscana

Libri preferiti

Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti

Area Personale

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Titolo

Autore

Soggetto

Ordinamento Alfabetico Alf. decr. Rilevanza Anno cresc. Anno decr.

Localizzazione Tutte Risorse pubblicate in Toscana

Lingua

Nazione

Tipologia Tipologia di supporto

Livello Bibliografico

Pubblicato dal

al

Isbn

Annulla ricerca

Risultati ricerca

Risultati 200-220 di 750

Augustus De Morgan and the logic of relations

Merrill, Daniel Davy

Proofs and types [+]

Girard, Jean Yves

Intensional logic and the metaphysics of intentionality

Zalta, Edward N.

A study of logics

Cleave, John P.

The concept of logical consequence

Etchemendy, John

Handbook of logic in computer science [+]

1: Background [+]

mathematical structures

1: Logical foundations

Algebraic logic

Logic programming and automated reasoning

international conference LPAR 92 : St. Petersburg, Russia, July 1992 : proceedings

International conference LPAR 3. San Pietroburgo 1992

Perspectives on the history of mathematical logic

A course in mathematical logic

Manin, Ju. I.

Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee

Cesena, 7-10 gennaio 1987

Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee Cesena 1987

Logic and philosophy in the Lvov-Warsaw school [+]

Woleński, Jan

Computability, complexity, logic [+]

Börger, Egon

1: Propositional logics [+]

Epstein, Richard L.

Constructibility and mathematical existence

Chihara, Charles S.

Logic colloquium '88

proceedings of the colloquium held in Padova, Italy, August 22-31, 1988

Logic colloquium '87

proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

Atti del Congresso Logica e filosofia della scienza, oggi

San Gimignano, 7-11 dicembre 1983

Congresso Logica e filosofia della scienza, oggi San Gimignano 1983

Risultati 200-220 di 750