Vai al contenuto principale della pagina

First-order logic / Raymond M. Smullyan



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Smullyan, Raymond M. Visualizza persona
Titolo: First-order logic / Raymond M. Smullyan Visualizza cluster
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  Visualizza cluster
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