Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 360-380 di 750

From Peirce to Skolem

a neglected chapter in the history of logic

  • Brady, Geraldine

Logic-based decision support

mixed integer model formulation

  • Jeroslow, Robert G. 1942-1988

Methods and applications of mathematical logic

proceedings of the 7. Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

  • Latin American Symposium on Mathematical Logic 7. Campinas 1985

Logik, Wissenschftstheorie und Erkenntnistheorie

Akten des 11. Internationalen Wittegenstein Symposiums : 4. bis 13. August 1986 Kirchberg am Wechsel (Osterreich) : ausgewahlte Beitrage

  • Internationales Wittgenstein Symposium 11. Kirchberg am Wechsel 1986

Mathematical logic

  • Eršov, Jurii Leonidovič

Structural complexity

  • Balcazar, Jose Luis

Elements of set theory

  • Enderton, Herbert B.

COLOG-88

International conference on Computer logic, Tallinn, USSR, December 12-16, 1988 : proceedings

  • International conference on Computer logic Tallinn 1988