Procedural Semantics for Hyperintensional Logic [electronic resource] : Foundations and Applications of Transparent Intensional Logic / by Marie Du, Bjorn Jespersen, Pavel Materna.
By: Contributor(s): Material type:
- 9789048188123
- 160 23
- BC1-199
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
-
4601
Obamanomics
by Carney, Timothy P., -
4602
A Zen wave
by Aitken, Robert, -
4603
Elasticity optimism
by Imbs, Jean. -
4604
Countercyclical macro prudential policies in a supporting role to monetary policy
by N'Diaye, Papa M'B. P. -
4605
Financial shocks and TFP growth
by Estevão, Marcello M. -
4606
Jointly optimal monetary and fiscal policy rules under borrowing constraints
by Bi, Huixin. -
4607
Post-crisis bank behavior
by Sanya, Sarah. -
4608
Valuation channel of external adjustment
by Ghironi, Fabio. -
4609
Lost decade in translation
by Syed, Murtaza, -
4610
Hedonic Country product dummy method and quality adjustments for purchasing power parity calculations
by Silver, M. S. -
4611
Improving surveillance across the CEMAC region
-
4612
General Data Dissemination System (GDDS)
by Enoch, Charles. -
4613
Macroeconomic implications for Hong Kong SAR of accomodative U.S. monetary policy
by N'Diaye, Papa M'B. P. -
4614
Location of domestic and foreign production affiliates by French multinational firms
by Mayer, Thierry. -
4615
On the sources of oil price fluctuations
by Unalmis, Deren. -
4616
Responding to banking crises
by Detragiache, Enrica. -
4617
Cyclical patterns of government expenditures in Sub-Saharan Africa
by Lledo, Victor. -
4618
Estimating demand for IMF financing by low-income countries in response to shocks
by Bal-Gündüz, Yasemin. -
4619
From Lombard Street to Avenida Paulista
by Stone, Mark R. -
4620
Exchange rate assessments
by Bems, Rudolfs.
Procedural Semantics for Hyperintensional Logic
APA
Du M., Jespersen B., Materna P. & SpringerLink (Online service). (2010). Procedural Semantics for Hyperintensional Logic. Dordrecht: Springer Netherlands.
Chicago
Du Marie, Jespersen Bjorn, Materna Pavel and SpringerLink (Online service). 2010. Procedural Semantics for Hyperintensional Logic. Dordrecht: Springer Netherlands.
Harvard
Du M., Jespersen B., Materna P. and SpringerLink (Online service). (2010). Procedural Semantics for Hyperintensional Logic. Dordrecht: Springer Netherlands.
MLA
Du Marie, Jespersen Bjorn, Materna Pavel and SpringerLink (Online service). Procedural Semantics for Hyperintensional Logic. Dordrecht: Springer Netherlands. 2010.