Abstract set theory / Abraham A. FRAENKEL (1961)

Public ISBD Titre : Abstract set theory Type de document : texte imprimé Auteurs : Abraham A. FRAENKEL, Auteur Mention d'édition : 2nd éd. entièrement révisée Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1961 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-295 p. Langues : Anglais Catégories : 04-XX Mots-clés : théorie des ensembles Note de contenu : index, bibliogr. Abstract set theory [texte imprimé] / Abraham A. FRAENKEL, Auteur  . -  2nd éd. entièrement révisée . - Amsterdam : North-Holland Publishing Company, 1961 . - VIII-295 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) . Langues : Anglais Catégories : 04-XX Mots-clés : théorie des ensembles Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
654	FRA/04/1491	Livre	Recherche	Salle	Disponible

An algebraic approach to non-classical logics / Helena RASIOWA (1974)

Public ISBD 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 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 . - Amsterdam : 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 Mots-clés : théorie des ensembles  algèbre de Boole  logique mathématique Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16816	RAS/02/7341	Livre	Recherche	Salle	Disponible

Ancient formal logic / I. M. BOCHEŃSKI (1957)

Public ISBD Titre : Ancient formal logic Type de document : texte imprimé Auteurs : I. M. BOCHEŃSKI, 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 : VI-122 p. Langues : Anglais Catégories : 01-XX 03-xx Mots-clés : logique formelle  histoire des mathématiques Note de contenu : index, bibliogr. Ancient formal logic [texte imprimé] / I. M. BOCHEŃSKI, Auteur . - Amsterdam : North-Holland Publishing Company, 1957 . - VI-122 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) . Langues : Anglais Catégories : 01-XX 03-xx Mots-clés : logique formelle  histoire des mathématiques Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4801	BOC/02/1574	Livre	Recherche	Salle	Disponible

Axiomatic set theory / Paul BERNAYS (1958)

Public ISBD Titre : Axiomatic set theory : with a historical introduction Type de document : texte imprimé Auteurs : Paul BERNAYS, Auteur ; Abraham A. FRAENKEL, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-226 p. Langues : Anglais Mots-clés : théorie axiomatique des ensembles Note de contenu : index, bibliogr. Axiomatic set theory : with a historical introduction [texte imprimé] / Paul BERNAYS, Auteur ; Abraham A. FRAENKEL, Auteur . - Amsterdam : North-Holland Publishing Company, 1958 . - VIII-226 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) . Langues : Anglais Mots-clés : théorie axiomatique des ensembles Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1243	BER/04/1010	Livre	Recherche	Salle	Disponible

Combinatory logic. Volume I / Haskell B. CURRY (1958)

Public ISBD Titre : Combinatory logic. Volume I Type de document : texte imprimé Auteurs : Haskell B. CURRY, Auteur ; Robert FEYS, Auteur ; William CRAIG, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : XVI-417 p. Langues : Anglais Mots-clés : logique mathématique  logique combinatoire Note de contenu : index, bibliogr. Combinatory logic. Volume I [texte imprimé] / Haskell B. CURRY, Auteur ; Robert FEYS, Auteur ; William CRAIG, Auteur . - Amsterdam : North-Holland Publishing Company, 1958 . - XVI-417 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) . Langues : Anglais Mots-clés : logique mathématique  logique combinatoire Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5470	CUR/02/1558-I	Livre	Recherche	Salle	Disponible

Combinatory logic. Volume II / Haskell B. CURRY (1972)

Permalink

Complete theories / Abraham ROBINSON (1956)

Permalink

Computer programming and formal systems / P. BRAFFORT (1963)

Permalink

Constructivity in mathematics / A. HEYTING (1959)

Permalink

Contributions to non-standard analysis / W .A. J. LUXEMBURG (1972)

Permalink

Cylindric algebras. Part I / Leon HENKIN (Cop. 1971)

Permalink

A deductive theory of space and time / Saul A. BASRI (Cop. 1966)

Permalink

Descriptive set theory / Yiannis N. MOSCHOVAKIS (Cop. 1980)

Permalink

Formal systems and recursive functions / J. N. CROSSLEY (1965)

Permalink

Foundations of infinitesimal stochastic analysis / K. D. STROYAN (Cop. 1986)

Permalink

---

page /4