Natural deduction, the logical basis of axiom systems
| Data(s) |
31/12/1969
|
|---|---|
| Resumo |
Mode of access: Internet. |
| Formato |
ren ren ren |
| Identificador |
http://hdl.handle.net/2027/uc1.b4395336 |
| Idioma(s) |
eng |
| Publicador |
Belmont, Calif., Wadsworth Pub. Co. |
| Direitos |
Items in this record are available as Public Domain, Google-digitized. View access and use profile at http://www.hathitrust.org/access_use#pd-google. Please see individual items for rights and use statements. |
| Palavras-Chave | #Logic, Symbolic and mathematical. #Metamathematics. |
| Tipo |
text |
