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 440-460 di 1074

Bounded arithmetic, propositional logic, and complexity theory

Krajiček, Jan

Simulating complex systems by cellular automata

Axiomatic theories of truth

Halbach, Volker

Ways of proof theory

Bolzanoʼs philosophy and the emergence of modern mathematics

Rusnock, Paul

Sperimentare la logica

Dalla Chiara, Maria Luisa

La logica induttiva e i fondamenti della teoria delle probabilità

Di Maio, Maria Concetta

A concise introduction to mathematical logic

Rautenberg, Wolfgang

Interpretationen der Modallogik

ein Beitrag zur phänomenologischen Wissenschaftstheorie

Wiegand, Olav K.

A tour through mathematical logic

Wolf, Robert S.

Logica e filosofia

Preti, Giulio 1911-1972

Notes on logic and set theory [+]

Johnstone, Peter T.

Logic colloquium '99

proceedings of the Annual European summer meeting of the Association for symbolic logic, held in Utrecht, Netherlands August 1-6, 1999

Logic colloquium Utrecht 1999

Mathematical intuitionism

introduction to proof theory

Dragalin, Al'bert Grigor'evic

Communication and concurrency

Milner, Robin

Cellular automata machines [+]

a new environment for modeling

Toffoli, Tommaso

La proposizione di Godel

Guidi, Francesca

Symbolic logic [+]

Lewis, Clarence Irving

Logical frameworks for truth and abstraction

an axiomatic study

Cantini, Andrea

Nondeductive inference [+]

Ackermann, Robert

Risultati 440-460 di 1074