• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
  • ورود / ثبت نام

عنوان
Admissibility of logical inference rules

پدید آورنده
Rybakov, Vladimir V. )Vladimir Vladimir(

موضوع
، Logic, Symbolic and mathematical,، Inference

رده
QA
9
.
R986
1997

کتابخانه
Central Library and Documentation Center

محل استقرار
استان: Semnan ـ شهر: Semnan

Central Library and Documentation Center

تماس با کتابخانه :

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Admissibility of logical inference rules

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Amsterdam ; New York
Name of Publisher, Distributor, etc.
Elsevier
Date of Publication, Distribution, etc.
1997

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
617 p. : ill. ; 24 cm.

SERIES

Other Title Information
Studies in logic and the foundations of mathematics ;v. 631

GENERAL NOTES

Text of Note
Includes bibliographical references )p. 603-617( and index

NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY

Text of Note
Vladimir V. Rybakov

TOPICAL NAME USED AS SUBJECT

Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Inference

DEWEY DECIMAL CLASSIFICATION

Number
511
.
3

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
9
.
R986
1997

PERSONAL NAME - PRIMARY RESPONSIBILITY

Dates
1691-
Entry Element
Rybakov, Vladimir V. )Vladimir Vladimir(
Relator Code
AU

TI
SE

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival