Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Gentzen-style aximatizations for basic logic
پدید آورنده
by: Mojtaba Aghaei Foroushani,^AAghaei Foroushani, Mojtaba
موضوع
Logic, Symbolic and mathematical,Proof theory
رده
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Gentzen-style aximatizations for basic logic
First Statement of Responsibility
by: Mojtaba Aghaei Foroushani
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 80 p.
DISSERTATION (THESIS) NOTE
Discipline of degree
Ph.D.
Body granting the degree
Institute for Research in Fundamental Sciences
Body granting the degree
Tehran
Date of degree
1379
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, Symbolic and mathematical
Entry Element
Proof theory
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
^AAghaei Foroushani, Mojtaba
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal