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.
A Course on Mathematical Logic / / by Shashi Mohan Srivastava
| A Course on Mathematical Logic / / by Shashi Mohan Srivastava |
| Autore | Srivastava Shashi Mohan |
| Edizione | [2nd ed. 2013.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (206 p.) |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto topico |
Mathematical logic
Algebra Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 1-4614-5746-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1 Syntax of First-Order Logic -- 2 Semantics of First-Order Languages -- 3 Propositional Logic -- 4 Completeness Theorem for First-Order Logic -- 5 Model Theory -- 6 Recursive Functions and Arithmetization of Theories -- 7 Incompleteness Theorems and Recursion Theory -- References -- Index. |
| Record Nr. | UNINA-9910438150503321 |
Srivastava Shashi Mohan
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Naïve Set Theory and Its Applications / / by Shashi Mohan Srivastava
| An Introduction to Naïve Set Theory and Its Applications / / by Shashi Mohan Srivastava |
| Autore | Srivastava Shashi Mohan |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (143 pages) |
| Disciplina | 511.322 |
| Collana | University Texts in the Mathematical Sciences |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Set Theory Mathematical Logic and Foundations |
| ISBN |
9789819746439
9789819746422 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Functions and Relations -- Ordinal and Cardinal Numbers -- Applications in Other Branches of Mathematics -- Banach-Tarski Paradox. |
| Record Nr. | UNINA-9910917201203321 |
|
Srivastava Shashi Mohan
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||