Метод эпсилон подстановок для исчисления предикатов с равенством
Zapiski naucnych seminarov POMI (1995)
- Volume: 220, Issue: 1, page 93-122
Access Full Article
top
How to cite
topМинц, Г.Е.. "Метод эпсилон подстановок для исчисления предикатов с равенством." Zapiski naucnych seminarov POMI 220.1 (1995): 93-122. <http://eudml.org/doc/68552>.
@article{Минц1995,
author = {Минц, Г.Е.},
journal = {Zapiski naucnych seminarov POMI},
keywords = {epsilon substitution method; predicate logic; axiom of equality; axiom of extensionality},
language = {rus},
number = {1},
pages = {93-122},
publisher = {Nauka},
title = {Метод эпсилон подстановок для исчисления предикатов с равенством},
url = {http://eudml.org/doc/68552},
volume = {220},
year = {1995},
}
TY - JOUR
AU - Минц, Г.Е.
TI - Метод эпсилон подстановок для исчисления предикатов с равенством
JO - Zapiski naucnych seminarov POMI
PY - 1995
PB - Nauka
VL - 220
IS - 1
SP - 93
EP - 122
LA - rus
KW - epsilon substitution method; predicate logic; axiom of equality; axiom of extensionality
UR - http://eudml.org/doc/68552
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.