FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2014, VOLUME 19, NUMBER 3, PAGES 5-22

Multi-sorted logic, models, and logical geometry

E. Aladova
A. Gvaramia
B. Plotkin
T. Plotkin

Abstract

Gif image of the abstract

Main page Contents of the journal News Search

Location: http://mech.math.msu.su/~fpm/eng/k14/k143/k14301g.htm
Last modified: February 20, 2015