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

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

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 11 )
340 Editeur scientifique ( 7 )
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, 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 ?



155220586 : Mathematical Foundations of Computer Science 1995 [Ressource électronique] : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek. / Berlin, Heidelberg : Springer-Verlag , 2005

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