Link on this page

Proof, logic and formalization / edited by Michael Detlefsen

Publisher London ; New York : Routledge
Year 1992
Codes ID=2000419963 NCID=BA1369941X

Show details.

Language English
Size x, 241 p. ; 23 cm
Notes Includes bibliographical references and index
Authors Detlefsen, Michael, 1948-
Subjects LCSH:Proof theory
LCSH:Logic, Symbolic and mathematical
Classification LCC:QA9.54
Vol ISBN:0415023351

Hide book details.

Letters,Tetsugaku-Rinri-Kyotu(Philosophy & Ethics)
511.3/D482 0570583632
0415023351 1992

 Similar Items