Axiomatisation indépendante d'un ensemble quelconque de formules en logique classique et intuitionniste :: SCD d'Orléans

Axiomatisation indépendante d'un ensemble quelconque de formules en logique classique et intuitionniste

Axiomatisation indépendante d'un ensemble quelconque de formules en logique classique et intuitionniste

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Reznikoff Iégor
Materyal Türü:	Livre papier
Baskı/Yayın Bilgisi:	[S.l.] : [s.n.] [s.d.].

Benzer Materyaller

Le Quelconque
Yazar:: Tarantini, Lidia, ve diğerleri
Baskı/Yayın Bilgisi: (1992)

L'axiomatisation et les théories économiques
Yazar:: Mongin, Philippe
Baskı/Yayın Bilgisi: (2003)

Quodlibet. Logique et physique de l’être quelconque
Yazar:: Coccia, Emanuele
Baskı/Yayın Bilgisi: (2017)

La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
Yazar:: Ginisti, Jean-Pierre
Baskı/Yayın Bilgisi: (2006)

Une fille quelconque : roman
Yazar:: Miller, Arthur, 1915-2005
Baskı/Yayın Bilgisi: (1998)

Descartes intuitionniste ?
Yazar:: de Buzon, Frédéric
Baskı/Yayın Bilgisi: (2025)

Descartes intuitionniste ?
Yazar:: Buzon, Frédéric de
Baskı/Yayın Bilgisi: (2025)

De Dadelsen : « un quelconque travail »
Yazar:: Frank, Évelyne
Baskı/Yayın Bilgisi: (2006)

Une rue quelconque de Bucarest
Yazar:: Althabe, Gérard
Baskı/Yayın Bilgisi: (2010)

« L'axiomatisation et les théories économiques ». Réponses aux critiques
Yazar:: Mongin, Philippe
Baskı/Yayın Bilgisi: (2004)

L'axiomatisation de la géographie : l'axiome chorologique : préliminaire à une histoire de l'espace rural Vaudois
Yazar:: Nicolas, Georges, 1932-
Baskı/Yayın Bilgisi: (1983)

L'intuitionniste : roman
Yazar:: Whitehead, Colson, 1969-
Baskı/Yayın Bilgisi: (2003)

Équations algébriques de degré quelconque
Yazar:: Kurosh, Aleksandr Gennadievich, 1908-1971, ve diğerleri
Baskı/Yayın Bilgisi: (1974)

Machines asynchrones Régimes quelconques
Baskı/Yayın Bilgisi: (2000)

La raison de « l’homme quelconque »
Yazar:: Speroni, Lorenzo
Baskı/Yayın Bilgisi: (2025)

Intuitionisme et théorie de la démonstration
Yazar:: Largeault, Jean, 1930-1995
Baskı/Yayın Bilgisi: (1992)

On ne veut plus d'un président quelconque : élections 2017
Yazar:: Revel, Eric, 19..-
Baskı/Yayın Bilgisi: (2016)

L’intuitionnisme entre philosophie, mathématique et logique : mutations et histoire longue
Baskı/Yayın Bilgisi: (2025)

Sur les séries de base de polynomes quelconques
Yazar:: Whittaker, John Macnaughten, 1905-1984
Baskı/Yayın Bilgisi: (1949)

L'objet quelconque : recherches sur l'ontologie de l'objet
Yazar:: Nef, Frédéric, 1947-
Baskı/Yayın Bilgisi: (1998)

Malebranche et l’intuitionnisme mathématique
Yazar:: Schwartz, Claire
Baskı/Yayın Bilgisi: (2025)

Ménélaüs: un mathématicien proto-intuitionniste ?
Yazar:: Rashed, Roshdi
Baskı/Yayın Bilgisi: (2025)

Intuitionnisme dialogique et pré-propositionnalité
Yazar:: Lion, Clément
Baskı/Yayın Bilgisi: (2025)

Intuitionnisme dialogique et pré-propositionnalité
Yazar:: Lion, Clément
Baskı/Yayın Bilgisi: (2025)

Ménélaüs: un mathématicien proto-intuitionniste ?
Yazar:: Rashed, Roshdi
Baskı/Yayın Bilgisi: (2025)

Axiomatisation et réduction des paradigmes sociologiques : note sur le programme webéro-simmélien
Yazar:: Raynaud, Dominique
Baskı/Yayın Bilgisi: (2005)

Splendeurs tziganes
Yazar:: Reznikoff, Iégor
Baskı/Yayın Bilgisi: (2015)

The existence of acoustic signs and their meanings in Paleolithic caves
Yazar:: Reznikoff, Iegor
Baskı/Yayın Bilgisi: (2023)

L’existence de signes sonores et leurs significations dans les grottes paléolithiques
Yazar:: Reznikoff, Iegor
Baskı/Yayın Bilgisi: (2023)

The Acoustic Dimension of Paleolithic Painted Caves and Stones
Yazar:: Reznikoff, Iegor
Baskı/Yayın Bilgisi: (2023)

La dimension sonore des grottes paléolithiques et des rochers à peintures
Yazar:: Reznikoff, Iegor
Baskı/Yayın Bilgisi: (2023)

Aimer être quelconque, transmettre l'impossible
Yazar:: Fol, Jac
Baskı/Yayın Bilgisi: (2007)

Une multitude de singularités quelconques dans des enclosures numériques
Yazar:: Hours, Bernard
Baskı/Yayın Bilgisi: (2026)

De la structure comme immixtion d’une altérité préalable à un sujet quelconque
Yazar:: Lacan, Jacques
Baskı/Yayın Bilgisi: (2016)

Leibniz entre logicisme, formalisme et intuitionnisme ?
Yazar:: Rabouin, David
Baskı/Yayın Bilgisi: (2025)

Leibniz entre logicisme, formalisme et intuitionnisme ?
Yazar:: Rabouin, David
Baskı/Yayın Bilgisi: (2025)

Présentation du numéro. « L’intuitionnisme entre philosophie, mathématique et logique : mutations et histoire longue »
Yazar:: Pradelle, Dominique, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Présentation du numéro. « L’intuitionnisme entre philosophie, mathématique et logique : mutations et histoire longue »
Yazar:: Pradelle, Dominique, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Les murs parlent de nous. Esthétique politique des singularités quelconques
Yazar:: Bertho, Alain
Baskı/Yayın Bilgisi: (2016)

Logique(s) d’un classique
Yazar:: Bert, Jean-François
Baskı/Yayın Bilgisi: (2019)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales