Проблема разрешения для логики предикатов и операций.
Algebra i Logika (1969)
- Volume: 8, Issue: 3, page 284-308
- ISSN: 0373-9252
Access Full Article
top
How to cite
topГуревич, Ю.Ш.. "Проблема разрешения для логики предикатов и операций.." Algebra i Logika 8.3 (1969): 284-308. <http://eudml.org/doc/186746>.
@article{Гуревич1969,
author = {Гуревич, Ю.Ш.},
journal = {Algebra i Logika},
keywords = {логика предикатов; классы предваренных формул; ограничение на проиставки; предикатные переменные; переменные операции; recursion theory, constructive mathematics},
language = {rus},
number = {3},
pages = {284-308},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Проблема разрешения для логики предикатов и операций.},
url = {http://eudml.org/doc/186746},
volume = {8},
year = {1969},
}
TY - JOUR
AU - Гуревич, Ю.Ш.
TI - Проблема разрешения для логики предикатов и операций.
JO - Algebra i Logika
PY - 1969
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 8
IS - 3
SP - 284
EP - 308
LA - rus
KW - логика предикатов; классы предваренных формул; ограничение на проиставки; предикатные переменные; переменные операции; recursion theory, constructive mathematics
UR - http://eudml.org/doc/186746
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.