Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. [Von] Christian Fenske. (Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 1740) ("Schriften der IIM, Serie A, Nr. 13")

Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. [Von] Christian Fenske.

(Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 1740) ("Schriften der IIM, Serie A, Nr. 13")

Call No. (NDL): M21-24(1740)
Bibliographic ID of National Diet Library: 000006183946

Material type: 図書

Author: Fenske, Christian Clemens.

Publisher: Westdeutscher Verlag

Publication date: 1967.

Material Format: Paper

Capacity, size, etc.: 69 p. with illus. 24 cm.

NDC: -

View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. [Von] Christian Fenske.
Series Title: Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 1740
"Schriften der IIM, Serie A, Nr. 13"
Title Heading: Bonn (Germany) . Universität. Rheinisch-Westfälisches Institut für Instrumentelle Mathematik. Schriften. Series A ; Nr. 13.
Author Heading: Fenske, Christian Clemens.
Publication, Distribution, etc.: Köln : Westdeutscher Verlag
Opladen : Westdeutscher Verlag
Publication Date: 1967.
Publication Date (W3CDTF): 1967
Extent: 69 p. with illus. 24 cm.
Place of Publication (Country Code): DE
Text Language Code: ger
Subject Heading: Programming (Electronic computers)
Logic, Symbolic and mathematical.
LCC: T7
DDC: 164
NDLC: M21
H35
Note (Bibliography): Bibliography: p. 69.
Holding library: 国立国会図書館
Call No.: M21-24(1740)
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006183946
http://id.ndl.go.jp/bib/000006183946
LC Control Number: 76353215
https://lccn.loc.gov/76353215
Bibliographic Record Category (NDL): 211