A Simplified Nomalization of Predicate Logic with Identity.

Alfred Tarski

Archiv für mathematische Logik und Grundlagenforschung (1964/65)

  • Volume: 7, page 61-80
  • ISSN: 0003-9268

How to cite

top

Tarski, Alfred. "A Simplified Nomalization of Predicate Logic with Identity.." Archiv für mathematische Logik und Grundlagenforschung 7 (1964/65): 61-80. <http://eudml.org/doc/137772>.

@article{Tarski1964/65,
author = {Tarski, Alfred},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {61-80},
title = {A Simplified Nomalization of Predicate Logic with Identity.},
url = {http://eudml.org/doc/137772},
volume = {7},
year = {1964/65},
}

TY - JOUR
AU - Tarski, Alfred
TI - A Simplified Nomalization of Predicate Logic with Identity.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1964/65
VL - 7
SP - 61
EP - 80
UR - http://eudml.org/doc/137772
ER -

NotesEmbed ?

top

You must be logged in to post comments.