žarko Mijajlović, Zoran Marković, and Kosta Dos̄en. Hilbertovi problemi i logika . Matematic̆ka biblioteka, no. 48. Zavod za Udžbenike i Nastavna Sredstva, Belgrade1986, 168 pp [Book Review]

Journal of Symbolic Logic 52 (4):1049-1050 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273840

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Zarko Mijajlovic, Zoran Markovic, Kosta Dosen, Hilbert's Problems and Logic. [REVIEW]Boban Velickovic - 1987 - Journal of Symbolic Logic 52 (4):1049-1050.
Zivot I Delo Svetozara Markovi Ca Zbornik Radova Sa Naucnog Skupa Srpske Akademije Nauka I Umetnosti, Odrzanog 16. I 17. Oktobra 1996. Godine U Beogradu I 18. Oktobra 1996. Godine U Zajecaru.C. Svetozar Markovi, C. Ivan Maksimovi, C. Dragan Simeunovi & Zavod Za Udzbenike I. Nastavna Sredstva - 1997
Religija i društvo: zbornik tekstova.Vojislav Mitiâc & Zavod Za Udézbenike I. Nastavna Sredstva (eds.) - 1988 - Beograd: Zavod za udžbenike i nastavna sredstva.
Separation Properties of Ideals Over ω.Winfried Just & Žarko Mijajlović - 1987 - Mathematical Logic Quarterly 33 (3):267-276.
On the Eliminability of the Quantifier “There Exist Uncountably Many”.Žarko Mijajlović - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 169--179.
Separation Properties of Ideals Over ω.Winfried Just & Žarko Mijajlović - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):267-276.
Regular relations and the quantifier “there exist uncountably many”.Zarko Mijajlović & Valentina Harizanov - 1983 - Mathematical Logic Quarterly 29 (3):151-161.
Submodels and definable points in models of Peano arithmetic.Žarko Mijajlović - 1983 - Notre Dame Journal of Formal Logic 24 (4):417-425.
On the definability of the quantifier “there exist uncountably many”.Žarko Mijajlović - 1985 - Studia Logica 44 (3):257 - 264.
Sa Poperom reflektirati našu intelektualnu situaciju-Brdar Milan: Pouke skromnosti-Karl Poper, Otvoreno društvo, nauka i filozofija, Zavod za udžbenike, Beograd, 2008.Dragan Jakovljević - 2010 - Theoria: Beograd 53 (3):165-166.
Model Theory for Intuitionistic Logic.Zoran M. Markovic - 1979 - Dissertation, University of Pennsylvania
Coherence and Confluence.Kosta Doˇsen & Zoran Petric - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 205.
Proof-net categories.Kosta Dosen, Zoran Petric & Lutz Strassburger - 2008 - Bulletin of Symbolic Logic 14 (2):268-271.
Completeness theorem for topological class models.Radosav Djordjevic, Nebojša Ikodinović & Žarko Mijajlović - 2007 - Archive for Mathematical Logic 46 (1):1-8.
Some preservation results for classical and intuitionistic satisfiability in Kripke models.Zoran Marković - 1983 - Notre Dame Journal of Formal Logic 24 (3):395-398.

Analytics

Added to PP
2016-06-30

Downloads
48 (#323,919)

6 months
15 (#157,754)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references