Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Axiomatising the logic of computer programming / Robert Goldblatt
| Axiomatising the logic of computer programming / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | xi, 304 p. ; 24 cm. |
| Disciplina | 519.4 |
| Soggetto topico |
Programming languages
Proof theory |
| ISBN | 5407112103 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000710759707536 |
Goldblatt, Robert
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York [etc.] : Springer, c1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm. |
| Disciplina | 515 |
| Collana | Graduate texts in mathematics |
| Soggetto topico | Analisi matematica |
| ISBN | 0-387-98464-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000012201 |
|
Goldblatt, Robert
|
||
| New York [etc.] : Springer, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York, : Springer, 1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| ISBN |
03-87984-64-X
8-1-4612-6841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052988 |
|
Goldblatt, Robert
|
||
| New York, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York, : Springer, 1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| ISBN |
03-87984-64-X
978-14-612-6841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052988 |
|
Goldblatt, Robert
|
||
| New York, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, copyr. 1998 |
| Descrizione fisica | XIV, 289 p. : ill. ; 24 cm |
| Disciplina | 515 |
| Collana | Graduate texts in mathematics |
| Soggetto topico | Analisi matematica |
| ISBN | 0-387-98464-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000195350203316 |
|
Goldblatt, Robert
|
||
| New York [etc.], : Springer-Verlag, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Orthogonality and Spacetime Geometry / Robert Goldblatt
| Orthogonality and Spacetime Geometry / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1987 |
| Descrizione fisica | x, 194 p. : ill. ; 24 cm |
| Soggetto topico |
51-XX - Geometry [MSC 2020]
83Axx - Special relativity [MSC 2020] 51A05 - General theory of linear incidence geometry and projective geometries [MSC 2020] 51Mxx - Real and complex geometry [MSC 2020] 51F20 - Congruence and orthogonality in metric geometry [MSC 2020] |
| Soggetto non controllato |
Algebra
Correlation Forms Geometry Knowledge Linear algebra Mathematics Matrix Threefolds Transformation Vector spaces constants projective transforms |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268967 |
|
Goldblatt, Robert
|
||
| New York, : Springer-Verlag, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Topoi, the categorial analysis of logic / Robert Goldblatt
| Topoi, the categorial analysis of logic / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1979 |
| Descrizione fisica | xv, 486 p. : ill. ; 23 cm. |
| Disciplina | 512.55 |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 98 |
| Soggetto topico | Toposes |
| ISBN | 0444852077 |
| Classificazione | AMS 03G30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001447969707536 |
|
Goldblatt, Robert
|
||
| Amsterdam : North-Holland, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||