Mathematics

Logic in Mathematics

Showing 361 - 382 out of 382 books
Semimodular Lattices_cover
Semimodular LatticesManfred Stern
1999
Semimodular Lattices
Semimodular Lattices
Manfred Stern
1999
Admissibility of Logical Inference Rules_cover
Admissibility of Logical Inference RulesV.V. Rybakov
1997
Admissibility of Logical Inference Rules
Admissibility of Logical Inference Rules
V.V. Rybakov
1997
Logical Frameworks for Truth and Abstraction_cover
Logical Frameworks for Truth and AbstractionA. Cantini
1996
Logical Frameworks for Truth and Abstraction
Logical Frameworks for Truth and Abstraction
A. Cantini
1996
Logic, Methodology and Philosophy of Science VII_cover
Logic, Methodology and Philosophy of Science VII
1986
Logic, Methodology and Philosophy of Science VII
Logic, Methodology and Philosophy of Science VII
1986
Finite Geometries and Designs_cover
Finite Geometries and Designs
1981
Finite Geometries and Designs
Finite Geometries and Designs
1981
Recursion Theory, its Generalisations and Applications_cover
Recursion Theory, its Generalisations and Applications
1980
Recursion Theory, its Generalisations and Applications
Recursion Theory, its Generalisations and Applications
1980
How to Measure the Infinite_cover
How to Measure the InfiniteVieri Benci, Mauro Di Nasso
How to Measure the Infinite
How to Measure the Infinite
Vieri Benci, Mauro Di Nasso
Reflections on the Foundations of Mathematics_cover
Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
Logic Colloquium 2000_cover
Logic Colloquium 2000
Logic Colloquium 2000
Logic Colloquium 2000
Logic Colloquium '01_cover
Logic Colloquium '01
Logic Colloquium '01
Logic Colloquium '01
Logicism Renewed_cover
Logicism RenewedPaul C. Gilmore
Logicism Renewed
Logicism Renewed
Paul C. Gilmore
Logic in Tehran_cover
Logic in Tehran
Logic in Tehran
Logic in Tehran
Inexhaustibility_cover
InexhaustibilityTorkel Franzén
Inexhaustibility
Inexhaustibility
Torkel Franzén
Reverse Mathematics 2001_cover
Reverse Mathematics 2001
Reverse Mathematics 2001
Reverse Mathematics 2001
Intensionality_cover
Intensionality
Intensionality
Intensionality
Logic Colloquium '02_cover
Logic Colloquium '02
Logic Colloquium '02
Logic Colloquium '02
Nonstandard Methods and Applications in Mathematics_cover
Nonstandard Methods and Applications in Mathematics
Nonstandard Methods and Applications in Mathematics
Nonstandard Methods and Applications in Mathematics
Model Theory of Stochastic Processes_cover
Model Theory of Stochastic ProcessesSergio Fajardo, H. Jerome Keisler
Model Theory of Stochastic Processes
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler
Logic Colloquium '98_cover
Logic Colloquium '98
Logic Colloquium '98
Logic Colloquium '98
Logic Colloquium '03_cover
Logic Colloquium '03
Logic Colloquium '03
Logic Colloquium '03
Logic Colloquium '99_cover
Logic Colloquium '99
Logic Colloquium '99
Logic Colloquium '99
The Notre Dame Lectures_cover
The Notre Dame Lectures
The Notre Dame Lectures
The Notre Dame Lectures