Márkusz, Zsuzsanna (1983) On first order many-sorted logic. Tanulmányok (MTA SZTAKI) (151). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-167-6
|
Text (On first order many-sorted logic)
SZTAKITanulmanyok_151.pdf Download (3MB) | Preview |
| Item Type: | Book |
|---|---|
| Additional Information: | ISSN: 0324-2951 |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| Depositing User: | xPéter xKolozsi |
| Date Deposited: | 01 Sep 2015 07:48 |
| Last Modified: | 01 Sep 2015 08:25 |
| URI: | http://real-eod.mtak.hu/id/eprint/2082 |
Actions (login required)
 |
Edit Item |
