عنوان
پدید آورنده
موضوع
رده
QA 241 .M38
QA
241
.
M38
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Martin Davis on computability, computational logic, and mathematical foundations
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c2016
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxvii, 438 p.: ill. )some col.( + 1 computer file: PDF
SERIES
Other Title Information
Outstanding contributions to logic; 01
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 9783319418414
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Eugenio G. Omodeo, Alberto Policriti, editors
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Number theory
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Davis, Martin, 8291-
Entry Element
، Mathematicians -- United States
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
241
.
M38
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Omodeo, Eugenio editor
AU Policriti, Alberto editor
