Calculation of an Order Type: An application of Non-Standard Methods

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):219-228 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19820281406

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Calculation of an Order Type: An application of Non‐Standard Methods.Hilbert Levitz - 1982 - Mathematical Logic Quarterly 28 (14‐18):219-228.
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown
XI Numerical Methods for the Schrodinger Equation and Application-A Modular Method for the Efficient Calculation of Ballistic Transport Through Quantum Billiards.S. Rotter, B. Weingartner, F. Libisch, F. Aigner, J. Feist & J. Burgdorfer - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 586-593.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
First-Order, Curry-Typed Logic for Natural Language Semantics.Chris Fox, Shalom Lappin & Carl Pollard - unknown
Simple Consequence Relations.Arnon Avron - unknown
Mathematics by Computer.Stephen Wolfram - unknown
Intensional first-order logic with types.Shalom Lappin - unknown
Oughts v. Ends: Seeking an Ethical Normative Standard for Journal Acceptance Rate Calculation Methods. [REVIEW]Maria A. Moore & Stephen D. Perry - 2012 - Journal of Academic Ethics 10 (2):113-121.
Standard quantification theory in the analysis of English.Stephen Donaho - 2002 - Journal of Philosophical Logic 31 (6):499-526.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Neutral relations revisited.Fraser MacBride - 2007 - Dialectica 61 (1):25–56.
Application of the "order of merit method" to advertising.E. K. Strong Jr - 1911 - Journal of Philosophy, Psychology and Scientific Methods 8 (22):600-606.
The Classical Lamb Shift: Why Jackson is Wrong! [REVIEW]Jonathan P. Dowling - 1998 - Foundations of Physics 28 (5):855-862.
PROOF THEORY. Gödel and the metamathematical tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.

Analytics

Added to PP
2015-12-02

Downloads
21 (#758,633)

6 months
1 (#1,508,411)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Meeting of the Association for Symbolic Logic, Marseilles, 1981.J. Stern - 1983 - Journal of Symbolic Logic 48 (4):1210-1232.

Add more citations

References found in this work

Transfinite Zahlen.Heinz Bachmann - 1959 - Journal of Symbolic Logic 24 (3):223-224.

Add more references