Amanote Research

Amanote Research

    RegisterSign In

General Models, Descriptions, and Choice in Type Theory

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2272981
Full Text
Open PDF
Abstract

Available in full text

Categories
PhilosophyLogic
Date

June 1, 1972

Authors
Peter B. Andrews
Publisher

Cambridge University Press (CUP)


Related search

A General Theory for Evolving Application Models

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
1995English

A General Asymptotic Theory for Time Series Models

SSRN Electronic Journal
2009English

Introducing Risky Housing and Endogenous Tenure Choice Into Portfolio- Based General Equilibrium Models

1989English

Spatial Models of Consumer Choice for Retail Outlets: Theory and Practice in Physics of Marketing

International Journal of Marketing Studies
2019English

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

Journal of Symbolic Logic
PhilosophyLogic
2000English

Choice of Anaesthetic in General Practice

BMJ
1937English

Axiomatic Choice Models and Duality.

Economica
EconomicsEconometrics
1971English

A Theory of Decision-Making Using Diffusion-To-Bound Models: Choice, Reaction-Time and Confidence

BMC Neuroscience
NeuroscienceCellularMolecular Neuroscience
2014English

Inductive Reasoning in Social Choice Theory

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy