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 300-320 di 750

Cornerstones of undecidability

Rozenberg, Grzegorz

Introduction to logic and to methodology of the deductive sciences

Tarski, Alfred

Handbook of recursive mathematics

Categorical logic and type theory

Jacobs, Bart

Truth, proof and infinity

a theory of costructions and constructive reasoning

Fletcher, Peter

Twenty-five years of constructive type theory

proceedings of a congress held in Venice, october 1995

Handbook of mathematical logic [+]

Constraint logic programming

selected research

Logic programming languages

constraints, functions, and objects

1: Logic

mathematics, language and philosophy

Swart, Henricus C. M.: de 1944-

Many-valued logics

Malinowski, Grzegorz

Topoi and logic

Brockway, Michael John

Mathematical logic for computer science

Ben Ari, M. 1948-

Mathematical logic in Latin America

proceedings of the 4. Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Latin American Symposium on Mathematical Logic 4. Santiago 1978

History of mathematical logic from Leibniz to Peano

Styazhkin, N. I.

Constraint satisfaction in logic programming

Hentenryck, Pascal: van

Axiomatische Wahrheitstheorien

Halbach, Volker

Papers in philosophical logic [+]

Lewis, David K.

Foundations of logic programming

Lloyd, John Wylie

Introduction to proofs in mathematics

Franklin, James William 1953-

Risultati 300-320 di 750