Menu
Home
Advanced Search
Directory of Libraries
عنوان
Language in action : categories, lambdas, and dynamic logic
پدید آورنده
Benthem, Johan F. A. K. van, 9491-
موضوع
، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده
P
39
.
B46
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Language in action : categories, lambdas, and dynamic logic
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland
Date of Publication, Distribution, etc.
c1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 349p.: ill
SERIES
Other Title Information
Studies in logic and the foundations of mathematics; Vol.031
GENERAL NOTES
Text of Note
Bibliography: p. 327-344
Text of Note
ISBN: 0444890009
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Johan van Benthem
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Language and logic
Entry Element
، Categorial grammar
Entry Element
، Lambda calculus
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Mathematical linguistics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
P
39
.
B46
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Benthem, Johan F. A. K. van, 9491-
Relator Code
AU
TI
SE
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal