A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Collection Studies in logic and the foundations of mathematics
- Editeur : North-Holland Publishing Company
- ISSN : 0049-237X
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externesTheory of Relations (1986) / R. FRAYSSE
Titre : Theory of Relations Type de document : monographie Auteurs : R. FRAYSSE, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1986 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 118 ISBN/ISSN/EAN : 978-0-444-87865-6 Note générale : Bibliogr., index Langues : Anglais (eng) Mots-clés : théorie des ensembles relation isomorphisme principes combinatoires ordre partiel Theory of Relations [monographie] / R. FRAYSSE, Auteur . - North-Holland Publishing Company, 1986. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 118) .
ISBN : 978-0-444-87865-6
Bibliogr., index
Langues : Anglais (eng)
Mots-clés : théorie des ensembles relation isomorphisme principes combinatoires ordre partiel Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16815 FRA/04/7338 (Photocopie) Livre Recherche Salle Disponible An algebraic approach to non-classical logics (1974) / Helena RASIOWA
Titre : An algebraic approach to non-classical logics Type de document : texte imprimé Auteurs : Helena RASIOWA, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1974 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 78 Importance : XV-403 p. ISBN/ISSN/EAN : 978-0-7204-2264-1 Langues : Anglais (eng) Mots-clés : théorie des ensembles algèbre de Boole logique mathématique Note de contenu : index, bibliogr. An algebraic approach to non-classical logics [texte imprimé] / Helena RASIOWA, Auteur . - North-Holland Publishing Company, 1974 . - XV-403 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 78) .
ISBN : 978-0-7204-2264-1
Langues : Anglais (eng)
Mots-clés : théorie des ensembles algèbre de Boole logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16816 RAS/02/7341 Livre Recherche Salle Disponible Introduction to the theory of finite automata (1965) / N. E. KOBRINSKII
Titre : Introduction to the theory of finite automata Type de document : texte imprimé Auteurs : N. E. KOBRINSKII, Auteur ; B. A. TRAKHTENBROT, Auteur ; B. A. SHEPHERDSON, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : 337 p. Note générale : Translation edited by J. C Shepherdson Langues : Anglais (eng) Langues originales : Russe (rus) Mots-clés : automate fini théorie des machines séquentielles automate fini Note de contenu : index, références Introduction to the theory of finite automata [texte imprimé] / N. E. KOBRINSKII, Auteur ; B. A. TRAKHTENBROT, Auteur ; B. A. SHEPHERDSON, Editeur scientifique . - North-Holland Publishing Company, 1965 . - 337 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Translation edited by J. C Shepherdson
Langues : Anglais (eng) Langues originales : Russe (rus)
Mots-clés : automate fini théorie des machines séquentielles automate fini Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10898 KOB/95/4195 Livre Recherche Salle Disponible Computer programming and formal systems (1963) / P. BRAFFORT
Titre : Computer programming and formal systems Type de document : texte imprimé Auteurs : P. BRAFFORT, Editeur scientifique ; D. HIRSCHBERG, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VI-161 p. Langues : Anglais (eng) Mots-clés : programmation système formel informatique Note de contenu : références Computer programming and formal systems [texte imprimé] / P. BRAFFORT, Editeur scientifique ; D. HIRSCHBERG, Editeur scientifique . - North-Holland Publishing Company, 1963 . - VI-161 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : programmation système formel informatique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8611 BRA/68/1977 Livre Recherche Salle Disponible Recursive number theory (1957) / R. L. GOODSTEIN
Titre : Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus Type de document : texte imprimé Auteurs : R. L. GOODSTEIN, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1957 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : XII-190 p. Langues : Anglais (eng) Mots-clés : théorie récursive des nombres arithmétique récursive Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus [texte imprimé] / R. L. GOODSTEIN, Auteur . - North-Holland Publishing Company, 1957 . - XII-190 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : théorie récursive des nombres arithmétique récursive Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5745 GOO/11/1544 Livre Recherche Salle Disponible Ordinal Algebras (1956) / Alfred TARSKI
PermalinkMathematical interpretation of formal systems (Cop. 1955) / Th. SKOLEM
PermalinkMany-valued logics (1958) / J. Barkley ROSSER
PermalinkComplete theories (1956) / Abraham ROBINSON
PermalinkNomological statements and admissible operations (1954) / Hans REICHENBACH
PermalinkHypothetical reasoning (1964) / Nicholas RESCHER
PermalinkSentences undecidable in formalized arithmetic (1957) / Andrzej MOSTOWSKI
PermalinkToward a systematic pragmatics (1959) / R. M. MARTIN
PermalinkThe logical systems of Lesniewski (1962) / Eugene C. LUSCHEI
PermalinkContributions to non-standard analysis (1972) / W .A. J. LUXEMBURG
Permalink