Almene begreber fra logik, mængdelære og algebra

[Copenhagen]: Munksgaard. Edited by Jonas Lichtenberg, Pedersen, Johs & [From Old Catalog] (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.C488

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
Logik.Stig Christofferson - 1969 - Lund,: Gleerup. Edited by Domar, Yngve & [From Old Catalog].
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
Grundlagen der Logik.Diethard Schmilinsky - 1976 - München: Verlag für Wirtschaftsskripten Ölschläger.
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
Logic, Algebra, and Databases.Peter M. D. Gray - 1984 - Ellis Horwood.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Logic of Algebra.Paul Dienes - 1938 - Hermann Et Cie.
Involutive symmetric Gödel spaces, their algebraic duals and logic.A. Di Nola, R. Grigolia & G. Vitale - 2023 - Archive for Mathematical Logic 62 (5):789-809.
Logic and Algebra.Aldo Ursini & Paulo Agliano - 1996 - CRC Press.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Izbrannye trudy.A. I. Malʹt︠s︡ev - 1976 - Moskva: Nauka.
S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 , no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 , no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 , no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 , no. 2, pp. 387–391. - Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 , no. 2, pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 , no. 1, pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical Logic, vol. 45 , no. 5, pp. 519–538. [REVIEW]Daniel Turetsky - 2012 - Bulletin of Symbolic Logic 18 (1):131-134.

Analytics

Added to PP
2023-07-06

Downloads
4 (#1,627,781)

6 months
4 (#797,974)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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