תיאור: Metamathematical investigation of intuitionistic arithmetic and analysis

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Troelstra, Anne Sjerp
פורמט:	Livre numérique
שפה:	Anglais
יצא לאור:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
סדרה:	Lecture notes in mathematics 344
נושאים:	Théorie de la démonstration Logique symbolique et mathématique Théorie des modèles Mathématiques Mathématiques intuitionnistes
גישה מקוונת:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
הערה:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Metamathematical investigation of intuitionistic arithmetic and analysis, A. S. Troelstra (editor),..., Berlin, Springer, 1973, 1 vol. (XVII-485 p.), Lecture notes in mathematics, 0-387-06491-5 • Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Texte imprimé, 9783662210352

תיאור
תאור פריט:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540378068 (PDF)
ISSN:	1617-9692
גישה:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017