- Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
al-Akhlāq: uṣūluhā al-dīnīyah wa-judhūruhā al-falsafīyah.Muḥammad ʻAlī Bārr - 2010 - Jiddah: Kursī Akhlāqīyāt al-Ṭibb.details
|
|
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
A topos perspective on the kochen-Specker theorem: I. Quantum states as generalised valuations.Chris Isham & Jeremy Butterfield - unknowndetails
|
|
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.details
|
|
Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.details
|
|
Boolean models and nonstandard analysis.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 87--92.details
|
|
Background Independence in Quantum Gravity and Forcing Constructions.Jerzy Król - 2004 - Foundations of Physics 34 (3):361-403.details
|
|
Towards a Coherent Theory of Physics and Mathematics.Paul Benioff - 2002 - Foundations of Physics 32 (7):989-1029.details
|
|
Orthospaces and quantum logic.J. L. Bell - 1985 - Foundations of Physics 15 (12):1179-1202.details
|
|
Boolean-Valued Models and Independence Proofs in Set Theory.John Lane Bell - 1977 - Oxford, England: Clarendon Press.details
|
|
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.details
|
|
Exotic Smoothness and Noncommutative Spaces. The Model-Theoretical Approach.Jerzy Król - 2004 - Foundations of Physics 34 (5):843-869.details
|
|
Diagonalization of continuous matrices as a representation of intuitionistic reals.Andre Scedrov - 1986 - Annals of Pure and Applied Logic 30 (2):201-206.details
|
|
Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.details
|
|
Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity.C. J. Isham & J. Butterfield - 2000 - Foundations of Physics 30 (10):1707-1735.details
|
|
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.details
|
|
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.details
|
|
Feynman path integrals.Cécile DeWitt-Morette - 1984 - In Heinrich Mitter & Ludwig Pittner (eds.), Stochastic methods and computer techniques in quantum dynamics. New York: Springer Verlag. pp. 101--170.details
|
|
A topos perspective on the kochen-Specker theorem: II. Conceptual aspects, and classical analogues.Jeremy Butterfield & Chris Isham - unknowndetails
|
|
Two applications of logic to mathematics.Gaisi Takeuti - 1978 - [Princeton, N.J.]: Princeton University Press.details
|
|