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 340-360 di 1074

George Boole

selected manuscripts on logic and its philosophy

Boole, George. 1815-1864

Proof theory [+]

the first step into impredicativity

Pohlers, Wolfram

Algebraizable logics

Blok, W. J.

Pascal entre Eudoxe et Cantor

Gardies, Jean-Louis

An introduction to mathematical logic and type theory [+]

to truth through proof

Andrews, Peter Bruce

Entailment

the logic of relevance and necessity

Anderson, Alan Ross

Proof and knowledge in mathematics [+]

Proof, logic and formalization [+]

Discrete mathematical structures for computer science

Kolman, Bernard

Logic Colloquium '77

proceedings of the Colloquium held in Wroclaw, August 1977

Logic colloquium Wroclaw, Poland 1977

Knapsack problems

algorithms and computer implementations

Martello, Silvano

Proofs and types [+]

Girard, Jean Yves

Intensional logic and the metaphysics of intentionality

Zalta, Edward N.

The concept of logical consequence

Etchemendy, John

Model theory for modal logic

Kripke models for modal predicate calculi

Bowen, Kenneth A.

Automata and languages

Howie, John M.

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

Computability, complexity, logic [+]

Börger, Egon

1: Propositional logics [+]

Epstein, Richard L.

Risultati 340-360 di 1074