عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.447
QA
3
.
L28
no
.
447
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
3967
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Toledo, Sue Ann
Title Proper by Another Author
0491-
Title Proper
Tableau systems for first order number theory and certain higher order theories
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1975
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
339p
SERIES
Series Title
Lecture notes in mathematics; 744
GENERAL NOTES
Text of Note
Bibliography: p. ]335[-339
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Sue Toledo
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
Entry Element
، Numbers, Theory of
Entry Element
، Predicate calculus
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
3
.
L28
no
.
447
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
