Write to the booksellers3 books for « manzano maria »Edit
-
Language
French (2)
Spanish (1)
-
Topics
Barber (1)
Colette (1)
History (1)
Latin (1)
Logic (1)
Psychoanalysis (1)
Review (1)
Sciences (1)
-
Syndicate
ILAB (1)
SLAM (1)
Extensions of First Order Logic
Cambridge University Press , Cambridge Tracts in Theoretical Computer Science Malicorne sur Sarthe, 72, Pays de la Loire, France 1996 Book condition, Etat : Très Bon hardcover, editor's illustrated binding grand In-8 1 vol. - 410 pages
1st Edition Contents, Chapitres : Contents, Preface, xxii, Text, 388 pages - 1. Standard second order logic : Second order grammar - Standard structures - Standard semantics - Semantic theorems - 2. Deductive calculi : Sequent calculii - Soundness theorem in standard semantics - Incompleteness in standard structure - 3. Categoricity of second order Peano arithmetic : Categoricity of Peano axioms - Peano models and primitive recursion - Induction models - Induction models and primitive recursion in induction models - 4. Frames and general structures : Second order frames - General structures - Algebraic definition of general structures - Logics obtained by weakening the schema of comprehension - Weak second order logic - 5. Type theory : A relational theory of finite types - RTT with lambda - Algebraic definition of relational general structures - A functional theory of types - Equational presentation of the functional theory of finite types - 6. Many-sorted logic : Structures - Formal many-sorted language - Semantics - Substitution of a term of a variable - The completeness of many-sorted logic - Reduction to one-sorted logic - 6. Applying many-sorted logic : General plan - Higher order logic as many-sorted logic - Modal logic - Propositional modal logic as many-sorted logic - The MODO theory - First order modal logic as many-sorted logic - Dynamic logic - Propositional dynamic logic as many-sorted logic Near fine copy, no markings
Estudio estructural de los verbos de la muerte en el latin arcaico y clasico
1 vol. in-8 br., Universidad de Leon, 1991, 205 pp.
Bon état (ancien cachet, on joint le texte manuscrit d'un compte-rendu universitaire).
[REVUE] Jean-Michel Quinodoz, Silvia Amati, Cléopâtre Athanassiou, Gérard Bayle, André Brousselle, Maria-Janina Grabowska, Danielle Quinodoz, Massimo Tomassini, Nadine Amar, Annie Anargyros, Colette Rabenou, Antonio Andreoli, Annette Fréjaville, Pier Mario Masciangelo, Claude Nachin, Maurice Netter, Nicos Nicolaïdis, Francisco Palacio Espasa, Juan Manzano, Mauricio Gitnacht, Geneviève Haag, Georges Hummel, Alicia Schteingart, Jean Guillaumin, André Barbier, Colette Chiland, Jacqueline Cosnier, Jean Cournut, Monique Cournut-Janin, André Green, Pearl Lombard, Catherine Parat, Roger Perron, Jean Bégoin, Anne Clancier, François Duparc, Olivier Flournoy, André Haynal, Augustin Jeanneau, Thierry de Saussure.
Reference : 18263
A la recherche de l’objet perdu. Quarante-huitième Congrès des psychanalystes de langue française des pays romans. Genève, 12-15 mai 1987.
Revue française de psychanalyse, tome LIII, Presses universitaires de France, janvier-février 1989. Un volume in-8°, broché.
Comme neuf. [18263]
