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.
General Recursion Theory: An Axiomatic Approach
| General Recursion Theory: An Axiomatic Approach |
| Autore | Fenstad Jens Erik |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1980 |
| Disciplina | 511/.3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482880203321 |
Fenstad Jens Erik
|
||
| [Place of publication not identified], : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
General Recursion Theory: An Axiomatic Approach
| General Recursion Theory: An Axiomatic Approach |
| Autore | Fenstad Jens Erik |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1980 |
| Disciplina | 511/.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996214907303316 |
|
Fenstad Jens Erik
|
||
| [Place of publication not identified], : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structures and Algorithms : Mathematics and the Nature of Knowledge / / by Jens Erik Fenstad
| Structures and Algorithms : Mathematics and the Nature of Knowledge / / by Jens Erik Fenstad |
| Autore | Fenstad Jens Erik |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (138 pages) |
| Disciplina | 100 |
| Collana | Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences |
| Soggetto topico |
Knowledge, Theory of
Mathematical logic Machine theory Mathematics - Philosophy Language and languages - Philosophy Epistemology Mathematical Logic and Foundations Formal Languages and Automata Theory Philosophy of Mathematics Philosophy of Language |
| ISBN | 3-319-72974-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.Preface -- 2.Introduction -- 3.Mathematics and the nature of knowledge – an introductory essay -- 4.The miraculous left hand – Leonardo and the nature of knowledge -- 5.Relationships between the social and natural sciences -- 6.Changes in the knowledge system and their implications for the formative stage of scholars -- 7.Remarks on the science and technology of language -- 8.How mathematics is rooted in life -- 9.Tarski, truth and natural languages -- 10.Formal semantics, geometry and mind -- 11.Discours, Interaction and Communication -- 12.On what there is – infinitesimals and the nature of numbers. |
| Record Nr. | UNINA-9910300614203321 |
|
Fenstad Jens Erik
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||