Accueil - Catalogue
Résultats de recherche pour : Métamathématique

Utiliser les flèches haut et bas du clavier pour vous déplacer dans la liste de suggestions

Rechercher Tapez les premières lettres pour faire apparaître des suggestions et utilisez la tabulation pour naviguer dans la liste de suggestions. Appuyez sur Entrée pour accéder à la page correspondant à votre sélection

Chercher sur

Recherche avancée

Rechercher par mots clés

Chercher sur

Rechercher dans

Catalogue Bpi

Bibliovox

Bpi-Doc

Cairn : Encyclopédies de poche (Que sais-je ? et Repères)

Cairn : Livres de Sciences Economiques, Sociales et Politiques

Cairn : Magazines

Cairn : Revues

Classiques Garnier Numérique

Etudes et recherche sur la Bpi

Europresse : Titres de presse

Gallica : Cartes

Gallica : Monographies

Gallica : Partitions

Gallica : Périodiques

Numérique Premium

OpenEdition : Books

OpenEdition : Journals

Persée : Revues

Replay

Techniques de l'Ingénieur

Vente et gestion

Date

Période

Date de parution

Date de début de parution

Date de fin de parution

Article

Brochure

Carte

Débat et enregistrement

Dossier de presse

Formation

Livre

Livre audio

Livre numérique

Musique

Partition et méthode

Revue, journal

Revue numérique

Site et base

Vidéo

Cassette

Disque vinyle

DVD

En ligne

Microfiches

Microfilms

Papier

Sélection multiple en autocomplétion. La saisie clavier permet de filtrer les propositions. Choisissez une ou plusieurs langues

Blues

CD accompagnant des livres

CD accompagnant des livres > Musique

Chanson française > Anthologies

Chanson française > Interprètes

Documents parlés > CD accompagnant des livres

Documents parlés > CD accompagnant des livres > Langues et littérature

Documents parlés > Histoire > Histoire des continents et des pays

Documents parlés > Sciences, techniques, médecine > Sciences de la vie

Instruments de musique > Anthologies

Instruments de musique > Instruments à clavier

Instruments de musique > Instruments à cordes pincées

Instruments de musique > Instruments à percussions

Instruments de musique > Instruments à vent

Instruments de musique > Instruments mécaniques et électroniques

Jazz

Musique classique

Musique classique > Anthologies

Musique classique > Autres anthologies

Musique classique > Compositeurs

Musique classique > Interprètes

Musique de radio, de télévision et de publicité

Musiques de films

Musiques de films > Anthologies divers

Musiques de films > Anthologies par compositeurs

Musiques de films > Bandes originales de films

Musiques du monde

Musiques du monde > Afrique

Musiques du monde > Afrique du Nord

Musiques du monde > Amérique du Nord

Musiques du monde > Amérique latine

Musiques du monde > Anthologies

Musiques du monde > Asie et Moyen-Orient

Musiques du monde > Europe

Musiques du monde > Océanie, régions polaires

Musiques électroniques, techno

Musiques expérimentales, improvisation, noise

Rap, hip-hop, r'n'b

Reggae

Rhythm and blues, soul, funk

Rock > Anthologies

Rock > Interprètes

Spectacles vivants > Comédies musicales

Spectacles vivants > Opéra comique, opérette

film d'animation

film d'autoformation

film documentaire

spectacle, concert

Actes de congrs

Atlas historique

Bandes dessinées

Carte topographique

Catalogue

Chronique sociale

Contes, légendes et folklore

Descriptions et voyages

Dictionnaire

Discours, Art oratoire

Encyclopédies et dictionnaires

Essai

Exposition

Fiction, Roman

Guides touridtiques et de visite

Guides touristiques

Guides touristiques et de visire

Guides touristiques et de visiste

Humour, Satire

Indexation Forme ou Genre Rameau

Lettres

manuel pour locuteurs néerlandais

Manuels pour allophones

Manuels pour locuteurs de portugais

Nouvelles

Ouvrages illsutrés

Ouvrages illustrs

Plan

Poésie

Sermons grecs

Sermons latins médiévaux et modernes

Sermons pour l'année liturgique

Statistiques

Théâtre

Théâtre chrétien

Tragédie grecque

Vocabulaires et manuels de conversation pour les professionnels de l'accueil

Vocabulaires et manuels de conversation pour les professionnels de l'hôtellerie et de la restauration

Arts

Autoformation

Bandes dessinées

Cinéma

Cinéma documentaire

Cultures pop

Déco, bricolage, cuisine

Droit

Economie

Education

Emploi, formation, concours

Encyclopédies

Espace Films

Ethnologie

Géographie, urbanisme

Gestion

Histoire

Information générale

Informatique

Jeux vidéo

Langues et littératures

Littérature jeunes adultes

Loges pour déficients visuels

Médecine

Musiques et documents parlés

Philosophie

Politique

Presse

Psychologie

Religions

Sciences

Sciences de l'info et médias

Sociologie, démographie

Sports et jeux

Techniques

Tourisme

Tous secteurs

Tous secteurs sauf Presse

Vie personnelle et familiale

Choix d'un sujet lié

Logique mathématique

Choix de relance de recherche

Les bibliothèques de prêt de la ville de Paris

Les bibliothèques universitaires

La BnF

L'encyclopédie Wikipédia

L'Encyclopædia Universalis

La bibliothèque du film

La bibliothèque du cinéma François Truffaut

La médiathèque musicale de Paris

La médiathèque de la Philharmonie de Paris

Recherche simple :

Sujet : Métamathématique

Affiner ma recherche

Disponible (3)

Livre (3)

Article (1)

Hofstadter, Douglas Richard (1945-....) (1)

Lavau, Sylvain (1)

Tarski, Alfred (1901-1983) (1)

Herbrand, Jacques (1908-1931) (1)

Entrez une première date

Entrez une deuxième date

Français (4)

Métamathématique (3)

Logique mathématique (2)

théorie du contrôle (1)

Escher, Maurits Cornelis (1898-1972) (1)

communauté scientifique (1)

métamathématique (1)

Musique et mathématiques (1)

Gödel, Kurt (1906-1978) (1)

Sémantique (philosophie) (1)

Intelligence artificielle -- Applications musicales (1)

Bach, Johann Sebastian (1685-1750) (1)

analyse de co-citations (1)

Intelligence artificielle (1)

pratique mathématique (1)

Logique (1)

Catalogue Bpi (3)

OpenEdition : Journals (1)

Philosophie (2)

Sciences (1)

Papier (3)

Aide

Ajouter...

... à Ma sélection.

Paramétrer l'export

* champs obligatoires

Destinataire * (nom@exemple.com)

Message

Contenu de la notice

Notices abrégées

Notices complètes

Format de l'export

Mettre format texte en pièce jointe

Mettre PDF en pièce jointe

Exporter les images

Paramétrer l'impression

Notices abrégées

Notices complètes

Exporter les images

Permalien

URL de la page

Envoyer cette page à un ami

* champs obligatoires

Expéditeur * (nom@exemple.com)

Destinataire * (nom@exemple.com)

Objet

Références du catalogue de la Bpi

Message *

Suggestion d'achat

* champs obligatoires

Titre *

Auteur

Editeur

Type de document

Coordonnées

Nom

Prénom

Courriel (nom@exemple.com)

Signaler une erreur sur le catalogue

* champs obligatoires

Objet *

Message *

Coordonnées

Nom

Prénom

Courriel (nom@exemple.com)

Veuillez patienter

Sélectionner Métamathématique 1

Métamathématique

Type d'autorité
- Concept

Sélectionner Logique mathématique 2

Logique mathématique

Type d'autorité
- Concept
Autre(s) nom(s)
- Logique formelle ;
- Logique moderne symbolique

Sélectionner Fondements des mathématiques, axiomatique, logique mathématique 3

Fondements des mathématiques, axiomatique, logique mathématique

510.1 - Fondements des mathématiques, axiomatique, logique mathématique

Type d'autorité
- Indice de classement

Sélectionner Herbrand, Jacques (1908-1931) 4

Herbrand, Jacques (1908-1931)

Type d'autorité
- Personne
- 12/02/1908 - 27/07/1931
Pays
- France
Langue(s)
- français
Activité(s) principale(s)
- Mathématicien. - Logicien. - A travaillé avec John von Neumann (1903-1957) à l'Université de Berlin. - Meurt d'un accident de montagne

Sélectionner Tarski, Alfred (1901-1983) 5

Tarski, Alfred (1901-1983)

Type d'autorité
- Personne
- 14/01/1901 - 26/10/1983
Pays
- Etats-Unis
Langue(s)
- anglais
Activité(s) principale(s)
- A écrit aussi en polonais ;
- Mathématicien, logicien, philosophe. - Né Alfred Tajtelbaum à Varsovie, émigré aux Etats-Unis en 1939, naturalisé américain en 1945. - Professeur à l'Université de Berkeley, Département de mathématiques (1942-1973)