An Extension of the Équivalence Calculus

Mathematical Logic Quarterly 7 (7-10):104-105 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

An Extension of the Équivalence Calculus.Hugues Leblanc - 1961 - Mathematical Logic Quarterly 7 (7‐10):104-105.
Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
The rewriting calculus - part II.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):377-410.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Non Deterministic Classical Logic: The λμ++ ‐calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.

Analytics

Added to PP
2016-02-04

Downloads
18 (#711,533)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?