Completeness, compactness and undecidability: An introduction to mathematical logic

Manaster, Alfred B

Completeness, compactness and undecidability: An introduction to mathematical logic - Prentice Hall International 1978 - 154


Mathematical (Symbolic) logic

511.3