Repository | Journal | Volume
Synthese
Foundations of the formal sciences I
Volume 133 (1-2)
Details | Table of Contents
The formal sciences
their scope, their foundations, and their unity
pp.5-11
https://doi.org/10.1023/A:1020887832028
Applications of elementary submodels in general topology
pp.31-41
https://doi.org/10.1023/A:1020819407308
The history of applied mathematics and the history of society
pp.43-57
https://doi.org/10.1023/A:1020823608217
Leibniz's rigorous foundation of infinitesimal geometry by means of Riemannian sums
pp.59-73
https://doi.org/10.1023/A:1020859101830
Large numbers, Knuth's arrow notation, and Ramsey theory
pp.87-105
https://doi.org/10.1023/A:1020879709125
Tarski's fixed-point theorem and lambda calculi with monotone inductive types
pp.107-129
https://doi.org/10.1023/A:1020831825964
Games in the semantics of programming languages
an elementary introduction
pp.131-158
https://doi.org/10.1023/A:1020883810034
Model checking techniqes for the analysis of reactive systems
pp.173-201
https://doi.org/10.1023/A:1020887910943
Comparing approaches to resolution based higher-order theorem proving
pp.203-335
https://doi.org/10.1023/A:1020840027781
Mathematical proof theory in the light of ordinal analysis
pp.237-255
https://doi.org/10.1023/A:1020892011851
Concepts and aims of functional interpretations
towards a functional interpretation of constructive set theory
pp.257-274
https://doi.org/10.1023/A:1020844128690Publication details
Journal: Synthese
Volume: 133
Issue: 1-2
Year: 2002
Full citation:
Löwe Benedikt, Rudolph Florian (2002) Foundations of the formal sciences I. Synthese 133 (1-2).