Dr. Dietmar Kreye 
Diplom-Informatiker

[-] Research
[-] Teaching
[-] Publications
[-] Bookshelf
 [=] Topics
 [-] Document Types
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

Logic

[-] Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang; Richard Char-Tung Lee (Book, 1973)
[-] Elementare Logik und Mengenlehre I
Arnold Oberschelp (Book, 1974) 		[own]
[-] Logik für Philosophen
Arnold Oberschelp (Book, 1997)
Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004

Valid HTML 4.01!External Link    Valid CSS!External Link