A carregar...
Completeness,compactness and undecidability /
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Idioma: | English |
| Publicado em: |
New Jersey
Prentice -Hall
1975
|
| Colecção: | Introduction to mathematical logic
|