Filtra i risultati

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 60-80 di 109

Foundations without foundationalism [+]

a case for second-order logic

  • Shapiro, Stewart

Logic

from foundations to applications : European logic colloquium

Logic colloquium '78

proceedings of the colloquium held in Mons, August 1978

  • Logic colloquium '78 Mons 1978

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

Internal logic

foundations of mathematics from Kronecker to Hilbert

  • Gauthier, Yvon

Deduction

introductory symbolic logic

  • Bonevac, Daniel

Logic, meaning and computation

essays in memory of Alonzo Church