Facettes de la logique formelle : Les présentations de base, leurs relations, leurs prolongements

Name: Facettes de la logique formelle : Les présentations de base, leurs relations, leurs prolongements
ISBN: 9782889156511

ISBN-13

9782889156511

Éditeur

PPUR

Résumé

Ce manuel propose six présentations fondamentales de la logique mathématique contemporaine et leurs relations : l'approche sémantique, l'axiomatique hilbertienne, la relation de conséquence, les s

0 annonce en vente actuellement

Je veux vendre ce livre

Du même rayon

Physique Chimie MPSI : Fiches-méthodes et exercices corrigés

Christophe Bernicot, Pauline Boulleaux-Binot, Olivier Chamelat, Thomas Roy

Les groupes : une structure précieuse

Neutron and Synchrotron Radiation for Condensed Matter Studies : Applications to Solid State Physics and Chemistry

Jose Baruchel, Jean-Louis Hodeau, Mogens S. Lehmann, Jean-Rene Regnard, Claire Schlenker

Génie des procédés appliqué à l'industrie laitière

Romain Jeantet, Gérard Brulé, Guillaume Delaplace

Le jardin météorologique : Et autres constructions climatiques

Philippe Rahm

Génie électrique

Association de bétons et d'armatures à hautes performances : Projet national BHP 2000

Projet national BHP 2000

Mathématiques PCSI (6e éd.) ouvrage coordonné par Nicolas Nguyen,... ; [par] Mathieu Fontes,... Walter Damin,... Christophe Jan,...

Mathieu Fontes, Walter Damin, Christophe Jan

La valeur de la science

Henri Poincaré

Géométrie différentielle avec 80 figures : Niveau L3-M1

Catherine Doss-Bachelet, Jean-Pierre Françoise, Claude Piquet