Logic, computers and sets / Wang, Haiping

Public ISBD Titre : Logic, computers and sets Type de document : texte imprimé Auteurs : Wang, Haiping Editeur : New York, NY : Chelsea publishing company Année de publication : 1970 Importance : x - 651 p. ISBN/ISSN/EAN : 978-0-8284-0245-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : philosophical and critical  computer science  general logic  mathematical logic Index. décimale : 03C Monographie Logic, computers and sets [texte imprimé] / Wang, Haiping . - New York, NY : Chelsea publishing company, 1970 . - x - 651 p. ISBN : 978-0-8284-0245-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : philosophical and critical  computer science  general logic  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9213	03C67	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Rostocker mathematisches kolloquium - Heft 55 / Xiaolin, He ; Jianfeng, Mao ; Liu, quingtao ; Wang, Haiping ; Liu, Zeqing ; Berg, Lothar

Public ISBD Titre : Rostocker mathematisches kolloquium - Heft 55 Type de document : texte imprimé Auteurs : Xiaolin, He ; Jianfeng, Mao ; Liu, quingtao ; Wang, Haiping ; Liu, Zeqing ; Berg, Lothar Editeur : Rostock : Universität Rostock Année de publication : 2001 Importance : 88 p. Langues : Anglais Catégories : 35-XX Partial differential equations:35AXX General theory:35A05 General existence and uniqueness theorems 35-XX Partial differential equations:35JXX Partial differential equations of elliptic type :35J20 Variational methods for second-order, elliptic equations 35-XX Partial differential equations:35JXX Partial differential equations of elliptic type :35J60 Nonlinear PDE of elliptic type 39-XX Difference and functional equations:39AXX Difference equations :39A10 Difference equations, additive 39-XX Difference and functional equations:39BXX Functional equations :39B72 Systems of functional equations and inequalities 41-XX Approximations and expansions :41A29 Approximation with constraints 47-XX Operator theory:47HXX Nonlinear operators and their properties :47H10 Fixed-point theorems 49-XX Calculus of variations and optimal control; optimization :49JXX Existence theories:49J40 Variational methods including variational inequalities 54-XX General topology :54HXX Connections with other structures, applications:54H25 Fixed-point and coincidence theorems Rostocker mathematisches kolloquium - Heft 55 [texte imprimé] / Xiaolin, He ; Jianfeng, Mao ; Liu, quingtao ; Wang, Haiping ; Liu, Zeqing ; Berg, Lothar . - Rostock : Universität Rostock, 2001 . - 88 p. Langues : Anglais Catégories : 35-XX Partial differential equations:35AXX General theory:35A05 General existence and uniqueness theorems 35-XX Partial differential equations:35JXX Partial differential equations of elliptic type :35J20 Variational methods for second-order, elliptic equations 35-XX Partial differential equations:35JXX Partial differential equations of elliptic type :35J60 Nonlinear PDE of elliptic type 39-XX Difference and functional equations:39AXX Difference equations :39A10 Difference equations, additive 39-XX Difference and functional equations:39BXX Functional equations :39B72 Systems of functional equations and inequalities 41-XX Approximations and expansions :41A29 Approximation with constraints 47-XX Operator theory:47HXX Nonlinear operators and their properties :47H10 Fixed-point theorems 49-XX Calculus of variations and optimal control; optimization :49JXX Existence theories:49J40 Variational methods including variational inequalities 54-XX General topology :54HXX Connections with other structures, applications:54H25 Fixed-point and coincidence theorems

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16624	colloque	imprimé / autre	CRDM	COLLOQUES	Disponible

---

page 1/1