NantilusMathematical interpretation of formal systems
Enregistré dans:
| Format : | Livre |
|---|---|
| Langue : | néerlandais |
| Titre complet : | Mathematical interpretation of formal systems / by Th. Skolem, G. Hasenjaeger, G. Kreisel |
| Publié : |
Amsterdam :
North-Holland publishing Company
, 1955 |
| Description matérielle : | 113 p. |
| Collection : | Studies in logic and the foundations of mathematics ; [4] |
| Titre de l'ensemble : | Studies in Logic and the foundations of Mathematics vol. [4] |
| Sujets : |
Table des matières indisponible