Login
|
New Account
ITA
ENG
A Ramsey Theorem in Boyer-Moore Logic
Authors
K.Kunen
Citation
K.kunen, A Ramsey Theorem in Boyer-Moore Logic, Journal of automated reasoning , 15(2), 1995, pp. 217-235
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
15
Issue
2
Year of publication
1995
Pages
217 - 235
Database
ACNP
SICI code