Logic of ruler and compass constructions

In S. Barry Cooper (ed.), How the World Computes. pp. 46--55 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.
The logic and meaning of plurals. Part II.Byeong-uk Yi - 2006 - Journal of Philosophical Logic 35 (3):239-288.
Han Fei's doctrine of self-interest.Paul R. Goldin - 2001 - Asian Philosophy 11 (3):151 – 159.
Han Fei's Enlightened Ruler.Alejandro Bárcenas - 2013 - Asian Philosophy 23 (3):236-259.
Is there a plural object?Byeong-Uk Yi - forthcoming - In Donal Baxter & Aaron Cotnoir (eds.), Composition as Identity. Oxford University Press.
The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.
The notion of problem, intuitionism and partiality.Pavel Materna - 2008 - Logic and Logical Philosophy 17 (4):287-303.
How Known Constructions Influence the Acquisition of Other Constructions: The German Passive and Future Constructions.Kirsten Abbot-Smith & Heike Behrens - 2006 - Cognitive Science 30 (6):995-1026.
De structuur Van de theologie Van dr. A. A. Van ruler.W. Th G. Sleddens & J. Wissink - 1975 - Bijdragen 36 (3):234-249.
De geschiedenis Van het Heil in de theologie Van dr. A. A. Van ruler.W. Th G. Sleddens & J. Wissink - 1975 - Bijdragen 36 (4):391-419.
Credibility limited revision.Sven Ove Hansson, Eduardo Leopoldo Fermé, John Cantwell & Marcelo Alejandro Falappa - 2001 - Journal of Symbolic Logic 66 (4):1581-1596.
A formal treatment of the causative constructions in chinese.Chongli Zou & Nianxi Xia - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
The art of ruling in Aquinas’ De Regimine Principum.H. Bleakley - 1999 - History of Political Thought 20 (4):575-602.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.

Analytics

Added to PP
2014-01-28

Downloads
20 (#765,631)

6 months
4 (#783,478)

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

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.

Add more references