opac, catalogo, online,servizi, biblioteca, sebina

Ricerca avanzata Cronologia ricerche

Labelled deductive systems / Dov M. Gabbay. - Oxford : Clarendon press. - v. ; 25 cm

Gabbay, Dov M. <1945- >

Testo a stampa (moderno) 1996

  • Contiene
  • Dove lo trovo
  • Scheda