Sergio Galvan – författare
Visar alla böcker från författaren Sergio Galvan. Handla med fri frakt och snabb leverans.
6 produkter
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Häftad, 2021
461 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half …
Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Richard Zach, Sergio Galvan m. fl.
E-bok, 2021
375 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader''s understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first …
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Inbunden, 2021
2119 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half …
Analytic Philosophy Without Naturalism
Av Antonella Corradini, Sergio Galvan m. fl.
Häftad, 2010
754 kr
Lägg i varukorg
In recent years numerous attempts have been made by analytic philosophers to naturalize various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them …
Analytic Philosophy Without Naturalism
Av E. J. Lowe, Sergio Galvan m. fl.
E-bok, 2006
858 kr
Lägg i varukorg
In recent years numerous attempts have been made by analytic philosophers to naturalize various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them …
Analytic Philosophy Without Naturalism
Av E. J. Lowe, Sergio Galvan m. fl.
E-bok, 2006
883 kr
Lägg i varukorg
In recent years numerous attempts have been made by analytic philosophers to naturalize various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them …
