A Proof Procedure for the First Order Logic

Kapetanović, Miodrag; Krapež, Aleksandar

Results

eNauka > Results > A Proof Procedure for the First Order Logic

Title:	A Proof Procedure for the First Order Logic
Authors:	Kapetanović, Miodrag; Krapež, Aleksandar
Issue Date:	1989
Publisher:	Mathematical Institute of the Serbian Academy of Sciences and Arts
Type:	Article
Collation:	vol. 45 br. 59 str. 3-5
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/4853 https://enauka.gov.rs/handle/123456789/579860
URL:	http://elib.mi.sanu.ac.rs/files/journals/publ/65/n059p003.pdf
M-category:	Mp. category will be shown later

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.