Cargando…
Mathematical interpretation of formal systems
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam,
North-Holland Pub. Co.,
1955.
|
| Colección: | Studies in logic and the foundations of mathematics.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Peano's axioms and models of arithmetic / Th. Skolem
- On definability and derivability / G. Hasenjaeger
- Models, translations and interpretations / G. Kreisel
- Ordered structures and related concepts / Abraham Robinson
- On denumerable bases of formal systems / Hao Wang
- Representation theorem for cylindrical algebras / L. Henkin
- Quelques remarques, th�eor�emes et probl�emes sur les classes d�efinissables d'alg�ebres / Jerzy Lo�s.