Menu
Home
Advanced Search
Directory of Libraries
عنوان
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
پدید آورنده
موضوع
Logic, Symbolic and mathematical. ;
رده
کتابخانه
Central Library and Documents Center of Mazandaran University
محل استقرار
استان:
Mazandaran
ـ شهر:
Babolsar
تماس با کتابخانه :
62
-
35302861
-
011
NATIONAL BIBLIOGRAPHY NUMBER
Number
ebl202226725
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
, 2022.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical. ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
D?ntsch, Ivo, ;
old catalog
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal