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 40-60 di 109

The temporal logic of reactive and concurrent systems

specification

Manna, Zohar

Mathematical intuitionism

introduction to proof theory

Dragalin, Al'bert Grigor'evic

Symbolic logic

Lewis, Clarence Irving

Temporal logic

from ancient ideas to artificial intelligence

Øhrstrøm, Peter

Lectures on linear logic

Troelstra, Anne Sjerp

Modern logic [+]

a text in elementary symbolic logic

Forbes, Graeme

Elements of symbolic logic

Reichenbach, Hans

Tools and techniques in modal logic

Kracht, Marcus

Collected papers of Stig Kanger with essays on his life and works

Kanger, Stig

Symbolic logic and its applications

MacColl, Hugh

Mathematical logic for computer science

Ben Ari, M. 1948-

Papers in philosophical logic [+]

Lewis, David K.

Handbook of proof theory

In the light of logic

Feferman, Solomon

Fixing Frege

Burgess, John P.

Logic of mathematics

a modern course of classical logic

Adamowicz, Zofia

Computational complexity

Papadimitriou, Christos H.

Logical methods

in honor of Anil Nerode's sixtieth birthday

The limits of logic [+]

higher-order logic and the Lowenheim-Skolem theorem

Logica simbolica

Chang, Chin-Liang

Risultati 40-60 di 109