Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
Back to Simple Search

Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 6 of 6

Showing per page

Order by Relevance | Title | Year of publication

A Formalisation of Post's m-valued Propositional Calculus.

Alan Rose — 1952

Mathematische Zeitschrift

Fragments of the m-valued propositional calculus.

Alan Rose

Mathematische Zeitschrift

The degree of completeness of a partial system of the2-valued Propositional Calculus.

Alan Rose — 1951

Mathematische Zeitschrift

Completeness of Lukasiewicz-Tarski PropositionaICalculi

Alan Rose

Mathematische Annalen

On the use of a complex (Quaternion) velocity potential in three dimensions.

Alan Rose — 1950

Commentarii mathematici Helvetici

Binary generators for the m -valued and ℵ 0 -valued Lukasiewicz propositional calculi

Alan Rose — 1968

Compositio Mathematica

Page 1

Download Results (CSV)

Languages

  • 1 en

Document types

  • 6 Article

Journals

  • 3 Mathematische Zeitschrift
  • 1 Commentarii mathematici Helvetici
  • 1 Compositio Mathematica
  • 1 Mathematische Annalen

Years

  • 1 1968
  • 1 1952
  • 1 1951
  • 1 1950

Authors

  • 6 Rose, A
EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7