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 – 3 of 3

Showing per page

Order by Relevance | Title | Year of publication

A calculus for finitely satisfiable formulas with identity.

Arthur M. Bullock;  Hubert H. Schneider — 1972

Archiv für mathematische Logik und Grundlagenforschung

Semantics of the predicate calculus with identity and the validity in the empty individual-domain

Schneider, Hubert H. — 1958

Portugaliae mathematica

A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains

Schneider, Hubert H. — 1961

Portugaliae mathematica

Page 1

Download Results (CSV)

Languages

  • 2 en

Document types

  • 3 Article

Journals

  • 2 Portugaliae mathematica
  • 1 Archiv für mathematische Logik und Grundlagenforschung

Years

  • 1 1972
  • 1 1961
  • 1 1958

Authors

  • 3 Schneider, HH
  • 1 Bullock, AM
EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7