Biblio: the search term namn=('Wright, Jockum von') results in 1 hits
1.
Wright, Jockum von
/ Institutionen för informationsbehandling
Representing higher order logic proofs in HOL / J. von Wright.
- In: The computer journal, ISSN 0010-4620, 38 (1995) nr. 2, s. 171-179.
![[Search form]](/icon/search.gif){kind=icon}
![[Info about the database]](/icon/about.gif){kind=icon}
![[Search tips]](/icon/seatips.gif){kind=icon}