The Axiomatic Characterization of Functions

&
Mathematical Logic Quarterly 23 (25-26):373-382 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19770232502

Other Versions

original Schweizer, B.; Sklar, A. (1976) "The Axiomatic Characterization of Functions". Mathematical Logic Quarterly 23(25‐26):373-382

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

On an Axiomatic System of Modal Logic.Akira Nakamura - 1968 - Mathematical Logic Quarterly 14 (1-5):61-66.
A characterization of the [mathematical formula]-definable functions of [mathematical formula].Wolfgang Burr & Volker Hartung - 1997 - Archive for Mathematical Logic 36 (3).
Characterizing PSPACE with pointers.Isabel Oitavern - 2008 - Mathematical Logic Quarterly 54 (3):323-329.
Predicative Expansions of Axiomatic Theories.Stanissław Krajewski - 1974 - Mathematical Logic Quarterly 20 (28-29):435-452.
Characterizing PSPACE with pointers.Isabel Oitavem - 2008 - Mathematical Logic Quarterly 54 (3):323-329.
On a Simple Axiomatic System of the Infinitely Many‐Valued Logic Based on ∧, →.Akira Nakamura - 1963 - Mathematical Logic Quarterly 9 (16‐17):251-263.
Studies on Brutal Contraction and Severe Withdrawal.M. Garapa, E. Fermé & M. D. L. Reis - 2017 - Studia Logica 105 (2):331-360.
Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.
On an Axiomatic System of the Infinitely Many‐Valued Threshold Logics.Akira Nakamura - 1962 - Mathematical Logic Quarterly 8 (1):71-76.

Analytics

Added to PP
2016-02-04

Downloads
32 (#710,849)

6 months
6 (#876,365)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of mathematics.William S. Hatcher - 1968 - Philadelphia,: W. B. Saunders Co..
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Foundations of Mathematics.William S. Hatcher - 1972 - Philosophy of Science 39 (1):88-90.

Add more references