VIAF

Virtual International Authority File

Search

Indrzejczak, Andrzej (1964- ). | Natural deduction, hybrid systems and modal logics National Library of Poland

VIAF ID: 153144782992490843212 (Work)

Permalink: http://viaf.org/viaf/153144782992490843212

Open Section Close Section Preferred Forms

 

Open Section Close SectionSelected Titles

Open Section Close Section History of VIAF ID:153144782992490843212 (1)