عنوان
پدید آورنده
موضوع
رده
QA9.54 .P77 1991
QA9
.
54
.
P77
1991
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof, logic, and formalization
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London ; New York
Name of Publisher, Distributor, etc.
Routledge
GENERAL NOTES
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Michael Detlefsen
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Logique symbolique et math?شmatique
Entry Element
، Math?شmatiques - Philosophie
Entry Element
، Preuve, Th?شorie de la
Entry Element
، Aufsatzsammlung
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
54
.
P77
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Detlefsen, Michael 1948-
