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 20-40 di 750

Teoria elementare degli insiemi

Halmos, Paul R.

The foundations of mathematics

Stewart, Ian

Twelve papers in logic and algebra

Beweistheorie

Schutte, Kurt

Logic for mathematicians

Rosser, J. Barkley

Semigroups underlying first-order logic

Craig, William

Theory and applications of satisfiability testing

7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

International conference on theory and applications of satisfiability testing 7. Vancouver, BC, Canada 2004

Operads in algebra, topology and physics

Markl, Martin

A precis of mathematical logic

Bochenski, Joseph Marie

Logic and arithmetic

natural numbers

Bostock, David

DNA computing

10th international workshop on DNA computing, DNA 10, Milan, Italy, June 7-10, 2004 : revised selected papers

International workshop on DNA computing 10. Milano 2004

Classification theory and the number of non-isomorphic models

Shelah, Saharon

Logica e matematica in Benno Kerry

tra Bolzano, Cantor e Frege : tesi di laurea

Proietti, Carlo

Categories for types

Crole, Roy L.

Formally self-referential propositions for cut free classical analysis and related systems

Kreisel, Georg

Undecidable theories

Tarski, Alfred

Logique, automatique, informatique

Logical systems containing only a finite number of symbols

Henkin, Leon

Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Padeborn, Germany, September 1995, Selected Papers

Subsystems of second order arithmetic

Simpson, Stephen G.

Risultati 20-40 di 750