Beweistheorie / Karl SCHÜTTE (1960)

Public ISBD Titre : Beweistheorie Type de document : texte imprimé Auteurs : Karl SCHÜTTE, Auteur Editeur : New York : Springer-Verlag Année de publication : 1960 Collection : Grundlehren der mathematischen wissenschaften num. 103 Importance : X-355 p. Langues : Allemand Catégories : 03FXX 68C01 Mots-clés : théorie de la démonstration  théorie de la preuve Beweistheorie [texte imprimé] / Karl SCHÜTTE, Auteur . - New York : Springer-Verlag, 1960 . - X-355 p.. - (Grundlehren der mathematischen wissenschaften; 103) . Langues : Allemand Catégories : 03FXX 68C01 Mots-clés : théorie de la démonstration  théorie de la preuve

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
86	SCH/02/1425	Livre	Recherche	Salle	Disponible

Theory of formal systems. Revised edition / R.M. Smullyan (1961)

Public ISBD Titre : Theory of formal systems. Revised edition Type de document : monographie Auteurs : R.M. Smullyan, Auteur Editeur : Princeton (N.J.) : Princeton University Press Année de publication : 1961 Collection : Annals of mathematics studies num. 047 Langues : Anglais Catégories : 68C01 Mots-clés : théorie des systèmes Theory of formal systems. Revised edition [monographie] / R.M. Smullyan, Auteur . - Princeton (N.J.) : Princeton University Press, 1961. - (Annals of mathematics studies; 047) . Langues : Anglais Catégories : 68C01 Mots-clés : théorie des systèmes

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
74	SMUL/02/ST-47	Livre	Recherche	Salle	Disponible

---

page 1/1