Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus

Bulletin of the Section of Logic, Tom 14, Numer 4 (1985) s. 164-169
Maciej Kandulski

 

Checked:  

do góry

Czy na pewno chcesz usunąć artykuł?

Register

Username:
E-mail:
Password:
Confirm password:
Sign in

Sign in

Username:
Password:
Forgot password