Troelstra, A.S. - On a second order propositional operator in intuitionistic logicUniversity of Amsterdam 1979 stencil, 26 blz. Report 79-14 (code Sc-44) EUR 12.00 [Appr.: US$ 13.83 | £UK 10.5 | JP¥ 2011] Book number 233602We regret that this particular copy is temporarily not available. You may try to find another copy by using the search function. Apologies for the inconvenience! |
Do you want to see
- more titles like this one?