Catálogo de la biblioteca Antonio Monteiro - INMABB catalog › Details for: Logical systems containing only a finite number of symbols /

Normal view MARC view ISBD view

Logical systems containing only a finite number of symbols / par Leon Henkin.

Por: Henkin, LeonSeries Séminaire de mathématiques supérieures ; 21Editor: Montréal : Presses de l'Université de Montréal, 1967Descripción: 48 h. ; 28 cmOtra clasificación: 03G15 (03B10)

Average rating: 0.0 (0 votes)

Item type	Home library	Shelving location	Call number	Materials specified	Status	Date due	Barcode
Libros	Instituto de Matemática, CONICET-UNS	Libros ordenados por tema	03 H513l (Browse shelf)		Available		A-3201

Previous								Next
Previous	03 H513 La structure algébrique des théories mathématiques /	03 H513 La structure algébrique des théories mathématiques /	03 H513c Cylindric algebras /	03 H513l Logical systems containing only a finite number of symbols /	03 H516 Introduction to computability /	03 H553 Enumerability, decidability, computability :	03 H553a Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ;	Next

Cab. de portada: Université de Montréal. Département de mathématiques.

"Notes du cours donné ... à la 5e session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'eté 1966."

MR, 39 #1313

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer