Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Pogorzelski, Witold Adam (1927-....)
Titre(s) : Completeness theory for propositional logics [Texte électronique] / Witold A. Pogorzelski, Piotr Wojtylak
Publication : Basel ; Boston : Birkhäuser, cop. 2008
Description matérielle : 1 online resource (viii 178 p.)
Collection : Studies in universal logic
Note(s) : Titre de l'écran-titre (visionné le 5 janvier 2009). - Bibliogr. - Print version record.
Autre(s) auteur(s) : Wojtylak, Piotr. Fonction indéterminée
Sujet(s) : Complétude, Théorème de
Logique mathématique
Indice(s) Dewey :
511.3 (23e éd.) = Logique mathématique
Identifiants, prix et caractéristiques : ISBN 9783764385187
Identifiant de la notice : ark:/12148/cb44714860g
Notice n° :
FRBNF44714860
(notice reprise d'un réservoir extérieur)