Hájek, Petr (1940-....) Amélioration Assistance
057090432
Notice de type Personne

Forme retenue

Hájek, Petr (1940-....)

Information

Langue d'expression : tchèque

Source

LC authorities (en ligne), 16-12-2002


Mathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák, 1993

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Autres identifiants

En cours : frBN010156357

Notices bibliographiques liées :4 rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 11 )
340 Editeur scientifique ( 6 )
727 Directeur de thèse ( 1 )



Code de fonction non reconnu :

Rôles ?



022399992 : Uncertain information processing in expert systems / editors, Petr Hájek, Tomáš Havránek, Radim Jiroušek / Boca Raton : CRC Press , 1992



Auteur :

Rôles ?



004716035 : The theory of semisets [Texte imprimé] / Petr Vopěnka,... and Petr Hájek,... / Amsterdam : North-Holland , 1972

018793428 : Mechanizing hypothesis formation [Texte imprimé] : mathematical foundations for a general theory / P. Hájek, T. Havránek / Berlin : Springer-Verlag , 1978

020353510 : Avtomaticheskoe obrazovanie gipotez : matematicheskie osnovy obshcheĭ teorii / P. Gaek, T. Gavranek ; perevod s angliĭskogo V.K. Finna ... et al. ; pod redakt︠s︡ieĭ L.A. Pospelova / Moskva : "Nauka", Glav. red. fiziko-matematicheskoĭ literatury , 1984

161758487 : Metamathematics of first-order arithmetic [Texte imprimé] / Petr Hájek, Pavel Pudlák / 2nd print. / Berlin : Springer-Verlag , 1998

123722071 : Biorthogonal Systems in Banach Spaces [Ressource électronique] / Petr Hájek, Vicente Montesinos Santalucía, Jon Vanderwerff... [et al.] / New York, NY : Springer New York , 2008

15158639X : Banach space theory [Ressource électronique] : the basis for linear and nonlinear analysis / Marián Fabian, Petr Habala, Petr Hájek, [et al.] / New York, NY : Springer Science+Business Media, LLC , 2011

014355108 : Metamathematics of first-order arithmetic [Texte imprimé] / Petr Hájek, Pavel Pudlák / Berlin : Springer-Verlag , cop. 1993

120285568 : Biorthogonal systems in Banach spaces [Texte imprimé] / Petr Hájek, Vicente Montesinos Santalucía, Jon Vanderwerff... [et al.] / New York : Springer , cop. 2008

150346352 : Banach space theory [Texte imprimé] : the basis for linear and nonlinear analysis / Marian Fabian, Petr Habala, Petr Hajek,... [et al.] / New York : Springer , cop. 2011

181568616 : Smooth analysis in Banach spaces / Petr Hájek, Michal Johanis / Berlin : De Gruyter , cop. 2014

131526472 : Introduction to Banach spaces [Texte imprimé] / by Petr Habala, Petr Hájek and Václav Zizler / Prague : Matfyzpress, vydavatelství Matematicko-fyzikální fakulty Univerzity Karlovy , cop.1996



Editeur scientifique :

Rôles ?



086759752 : Gödel '96 [Texte imprimé] : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno [sic.], Czech Republic, August 1996, proceedings / Petr Hájek (Ed.) / Berlin : Springer , Cop. 1996

11638171X : Gödel '96 [Texte imprimé] : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy / edited by Petr Hájek, ... / Urbana (Ill.) : Association for symbolic logic , [impr. 2001], cop. 1996

024404594 : Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings / Jiří Wiedermann, Petr Hájek, eds / Berlin : Springer , c1995

075360144 : Functional analysis and infinite-dimensional geometry [Texte imprimé] / Marian Fabian, Petr Habala, Petr Hajek... [et al.] / New York : Springer , cop. 2001

142932108 : Logic, methodology and philosophy of science [Texte imprimé] / edited by Petr Hájek, Luis Valdés-Villanueva, Dag Westerståhl / London : King's College publ. , cop. 2005

116116048 : Logic colloquium '98 [Texte imprimé] : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998 / Edited by Samuel R. Buss,... Petr Hájek,... Pavel Pudlák,... / Urbana, Ill. : Association for symbolic logic



Directeur de thèse :

Rôles ?



135484391 : Analyse dans les espaces de Banach [Ressource électronique] / Antonin Prochazka ; sous la direction de Robert Deville et de Petr Hajek / [S.l.] : [s.n.] , 2009


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance