Manaster Alfred B

Compleeness,compactness,and undecidability An introduction to mathematical logic. Manaster Alfred B - New Delhi Prentice Hall 1975 - 154p. cm.

46668

Textual

R14, L5