Eintrag weiter verarbeiten
Writing out unifiers for formulas with coefficients in intuitionistic logic
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Writing out unifiers for formulas with coefficients in intuitionistic logic |
In: | Logic Journal of IGPL, 21, 2013, 2, S. 187-198 |
veröffentlicht: |
Oxford University Press (OUP)
|
Umfang: | 187-198 |
ISSN: |
1367-0751 1368-9894 |
DOI: | 10.1093/jigpal/jzs015 |
Format: | E-Article |
Quelle: | Oxford University Press (OUP) (CrossRef) |
Sprache: | Englisch |