Number of the records: 1
Discretely ordered modules as a first-order extension of the cutting planes proof system
- 1.0174681 - MU-W 990015 RIV US eng J - Journal Article
Krajíček, Jan
Discretely ordered modules as a first-order extension of the cutting planes proof system.
Journal of Symbolic Logic. Roč. 63, č. 4 (1998), s. 1582-1596. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA1019602
Grant - others:CZ-US Czechoslovak Science and Technology Program(CZ) 93025
Subject RIV: BA - General Mathematics
Impact factor: 0.295, year: 1998
Permanent Link: http://hdl.handle.net/11104/0071683
File Download Size Commentary Version Access Krajicek.pdf 1 1 MB Publisher’s postprint require
Number of the records: 1