Filter results

• Main author

  
  • Centro internazionale matematico estivo

    (1)
  • International congress of logic, methodology, and philosophy of science <5. ; 1975

    (1)
  • US-Israel workshop on model theory in mathematical logic <1985

    (1)
  • Workshop on computer science logic <5. ; 1991

    (1)
  • Other Everyone

• Names

  
  • Baldwin, John T.

    (1)
  • Bar-Hillel, Yehoshua

    (1)
  • Bulloff, Jack J.

    (1)
  • Butts, Robert E.

    (1)
  • Börger, Egon

    (1)
  • Centro internazionale matematico estivo

    (1)
  • Hahn, Samuel Wilfred

    (1)
  • Hintikka, Jaakko

    (1)
  • Holyoke, Thomas C.

    (1)
  • Homer, Steven

    (1)
  • International congress for logic, methodology, and philosophy of science [2 ; 1964 ; Gerusalemme]

    (1)
  • International congress of logic, methodology, and philosophy of science <5. ; 1975

    (1)
  • Nerode, Anil <1932- >

    (1)
  • Odifreddi, Piergiorgio

    (1)
  • Shore, Richard A.

    (1)
  • US-Israel workshop on model theory in mathematical logic <1985

    (1)
  • Workshop on computer science logic <5. ; 1991

    (1)
  • Other Everyone

• Dewey class

  
  • 005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

    (1)
  • 511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

    (1)
  • Other Everyone

• BNI subject

  
  • FILOSOFIA DELLA SCIENZA - CONGRESSI

    (2)
  • CONGRESSI - CHICAGO

    (1)
  • CONGRESSI - COLUMBUS

    (1)
  • CONGRESSI - GERUSALEMME

    (1)
  • CONGRESSI - ITHACA <N.Y.>

    (1)
  • CONGRESSI - LONDRA <CANADA>

    (1)
  • CONGRESSI - MONTECATINI TERME

    (1)
  • ELABORATORI ELETTRONICI - LINGUAGGIO PROLOG

    (1)
  • EPISTEMOLOGIA - CONGRESSI

    (1)
  • Gödel, Kurt

    (1)
  • LOGICA - CONGRESSI

    (1)
  • LOGICA - STORIA

    (1)
  • LOGICA SIMBOLICA - CONGRESSI

    (1)
  • MATEMATICA - ASPETTI FILOSOFICI

    (1)
  • MATEMATICA - TEORIE

    (1)
  • Other Everyone