Listing 1 - 8 of 8
Sort by

Book
Formele logika : niet-klassieke systemen en toegepaste logika. 2
Authors: ---
ISBN: 9026046774 Year: 1980 Publisher: Oostmalle De Sikkel

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Einführung in die formale Logik : eine Orientierung über die Lehre von der Folgerichtigkeit, ihre Geschichte, Strukturen und Anwendungen
Author:
ISBN: 353405203X Year: 1985 Publisher: Darmstadt Wissenschaftliche Buchgesellschaft

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logica, taal en betekenis
Authors: ---
ISBN: 9027462291 9027462305 9789027462299 9789027462305 Year: 1982 Volume: 77 Publisher: Wijnegem Het Spectrum


Book
Initiation à la logique formelle : avec exercices corrigés
Authors: --- ---
ISBN: 280414299X 9782804142995 Year: 2003 Volume: *1 Publisher: Bruxelles: De Boeck et Larcier,

Die Modalbegriffe in den logischen Schriften des Wilhelm von Shyreswood und in anderen Kompendien des 12. und 13. Jahrhunderts : Funktionsbestimmung und Gebrauch in der logischen Analyse
Author:
ISBN: 9004060480 9004451692 9789004060487 9789004451698 Year: 1980 Volume: Bd. 13 Publisher: Leiden; Boston : BRILL


Book
Formele logika : Deel 1 : klassieke systemen.
Authors: ---
ISBN: 9026044852 9789026044854 Year: 1978 Publisher: Kapellen De Sikkel


Book
Gödel, Escher, Bach : een eeuwige gouden band
Authors: ---
ISBN: 9025466435 9025466370 9025466532 9789025466374 Year: 1988 Publisher: Amsterdam Contact

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Philosophy of nature --- Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Mathematics --- logic --- Bach, Johann Sebastian, --- Escher, Maurits Cornelis, --- Gödel, Kurt --- Gödel, Kurt, --- Cultuurfilosofie ; kunst, muziek en artificiële intelligentie --- Bach, J.S. --- Escher, M.C. --- Wiskunde ; Kurt Gödel --- Metamathemathica --- Symbolische logica --- Filosofie ; Cultuurfilosofie --- Bach, J.S --- Escher, M.C --- 130.2 --- 16 --- 16 Logica. Kennistheorie. Logische methodiek. Wetenschapsfilosofie --- Logica. Kennistheorie. Logische methodiek. Wetenschapsfilosofie --- Logic --- logica --- Metamathematics --- Symmetry --- Artificial intelligence --- Philosophy --- Natuurfilosofie --- Mathematische logica --- Artificiële intelligentie. Robotica. Simulatie. Graphics --- 510.1 --- 78.21.1 Bach --- muziek --- #GGSB: Sociale wet. essays --- #gsdbf --- artificiële intelligentie --- consistentie --- volledigheid --- propositielogica --- hersenen en denken --- church --- turing --- tarski --- onbeslisbare uitspraken --- escher --- Bach --- Gödel --- 161/162 --- 165 --- 78 <041> --- Beginselen van de logica. Formele logica --- Kennisleer. Epistemologie --- Muziek--Brochures. Pamfletten. Essays --- 165 Kennisleer. Epistemologie --- 161/162 Beginselen van de logica. Formele logica --- 78 <041> Muziek--Brochures. Pamfletten. Essays --- Metamathematica --- Sociale wet. essays --- Bach, Johann Sebastian, - 1685-1750 --- Escher, Maurits Cornelis, - 1898-1972 --- Gödel, Kurt, - 1906-1978 --- Escher, Maurits Cornelis, - 1898-1971

Listing 1 - 8 of 8
Sort by