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, : Springer, 1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm |
| Soggetto topico |
03H05 - Nonstandard models in mathematics [MSC 2020]
26-XX - Real functions [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Calculus Constructions Differential equations Lebesgue measures Measure Measure Theory Proofs Real analysis Riemann integrals Tools Topology Ultrapower eXist |
| ISBN |
03-87984-64-X
978-14-612-6841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052988 |
|
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 |
03H05 - Nonstandard models in mathematics [MSC 2020]
26-XX - Real functions [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Calculus Constructions Differential equations Lebesgue measures Measure Measure Theory Proofs Real analysis Riemann integrals Tools Topology Ultrapower eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298509 |
|
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 | ||
| ||
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]
51A05 - General theory of linear incidence geometry and projective geometries [MSC 2020] 51F20 - Congruence and orthogonality in metric geometry [MSC 2020] 51Mxx - Real and complex geometry [MSC 2020] 83Axx - Special relativity [MSC 2020] |
| Soggetto non controllato |
Algebra
Constants Correlation Forms Geometry Knowledge Linear algebra Mathematics Matrix Threefold Transformation Vector spaces projective transforms |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268967 |
|
Goldblatt, Robert
|
||
| New York, : Springer-Verlag, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Topoi : the categorical analysis of logic / Robert Goldblatt
| Topoi : the categorical analysis of logic / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Edizione | [Rev. ed] |
| Pubbl/distr/stampa | New York, : Dover, 2006 |
| Descrizione fisica | xx, 551 p. : ill. ; 22 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F55 - Intuitionistic mathematics [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 18-XX - Category theory; homological algebra [MSC 2020] 18B25 - Topoi [MSC 2020] |
| ISBN | 978-04-86450-26-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283757 |
|
Goldblatt, Robert
|
||
| New York, : Dover, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
