First-order logic / Raymond M. Smullyan
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Smullyan, Raymond M.
|
| Titolo: |
First-order logic / Raymond M. Smullyan
|
| Pubblicazione: | New York : Dover Publications, c1995 |
| Descrizione fisica: | XII, 158 p. ; 22 cm |
| Disciplina: | 511.3 |
| Soggetto non controllato: | Logica matematica |
| Logica simbolica | |
| Logica di primo grado | |
| Note generali: | "An unabridged, corrected republication of the work first published by Springer-erlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Matematik und ihrer Grenzgebiete) |
| Titolo autorizzato: | First-Order Logic |
| ISBN: | 0-486-68370-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990003986590403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 511.3-SMU-1 |
| 511.3-SMU-1A | |
| 511.3-SMU-1B | |
| 511.3-SMU-1C | |
| 511.3-SMU-1D | |
| 511.3-SMU-1E | |
| Opac: | Controlla la disponibilità qui |