| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN0053445 |
|
|
Autore |
Bridges, Douglas S. |
|
|
Titolo |
Varieties of constructive mathematics / Douglas Bridges, Fred Richman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, : Cambridge university, 1987 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
03-XX - Mathematical logic and foundations [MSC 2020] |
03F50 - Metamathematics of constructive systems [MSC 2020] |
03F65 - Other constructive mathematics [MSC 2020] |
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910557676603321 |
|
|
Autore |
Wang Yu-Feng |
|
|
Titolo |
Neuroendocrine Research in Health and Disease |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (235 p.) |
|
|
|
|
|
|
Soggetti |
|
Neurosciences |
Science: general issues |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researchers, the latest key findings and historical advances in a hot research area! Find out more on how to host your own Frontiers Research Topic or contribute to one as an author by contacting the Frontiers Editorial Office: frontiersin.org/about/contact |
|
|
|
|
|
|
|
| |