Monographie

Logic and structure / van Dalen, Dirk

Type de contenu

• Texte

Titre(s)

• Logic and structure / van Dalen, Dirk

Mention d'édition

• 4th ed.

Editeur, producteur

• Berlin : Springer, 2004

Description matérielle

• 263 p. ; 24 cm

Collection

• Universitext

ISBN

• 978-3-540-20879-2

Appartient à la collection

• Universitext

Note sur les bibliographies et les index

• Bibliogr. p. 257-258. Index

Note sur le contenu

• Manuel

Résumé ou extrait

• Logique des propositions. Logique des prédicats. Complétude. Logique du second ordre. Logique intuitioniste. Théorème de Gödel. Fonctions récursives.

Sujet(s)

• algèbre
• logique mathématique
• mathématiques : science
• structure algébrique

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)