• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
]Omega[-bibliography of mathematical logic

پدید آورنده
edited by Gert H. Muller; in coll. with Wolfgan Lenski

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

رده
Z
6654
.
M26047

کتابخانه
Library of Institute for Research in Fundamental Sciences

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

Library of Institute for Research in Fundamental Sciences

تماس با کتابخانه : 22291812-021

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
]Omega[-bibliography of mathematical logic
First Statement of Responsibility
edited by Gert H. Muller; in coll. with Wolfgan Lenski

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1987

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
v
Other Physical Details
1
Other Physical Details
2
Other Physical Details
3
Other Physical Details
4
Other Physical Details
5
Other Physical Details
6
Other Physical Details
1
Other Physical Details
2
Other Physical Details
3
Other Physical Details
4
Other Physical Details
5
Other Physical Details
6

SERIES

Other Title Information
Perspectives in mathematical logic

GENERAL NOTES

Text of Note
ISBN: 3540173218)vol.1(

NOTES PERTAINING TO SUBJECT ACCESS

Text of Note
R

ORIGINAL VERSION NOTE

Text of Note
1
Text of Note
1
Text of Note
1
Text of Note
1
Text of Note
1
Text of Note
1
Text of Note
2
Text of Note
2
Text of Note
2
Text of Note
2
Text of Note
2
Text of Note
2

CONTENTS NOTE

Text of Note
Vol.1. Classical logic.--Vol.2. Non-classical logics.--Vol.3. Model theory.--Vol.4. Recursion theory.--Vol.5. Set theory.--Vol.6. Proof theory constructive mathematics

TOPICAL NAME USED AS SUBJECT

Entry Element
Bibliography ، Logic, Symbolic and mathematical

LIBRARY OF CONGRESS CLASSIFICATION

Class number
Z
6654
.
M26047

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
TI

AU Muller, Gert Heinz, 1923-
AU Lenski, Wolfgang, 1952-
TI
TI Bibliography of mathematical logic
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