MPG.eBooks - Search Results - "Mathematics"

Cover Image

1

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

by Crosilla, Laura
Published 2005

Clarendon

Subjects: “...Constructive mathematics / Congresses...”

Cover Image

2

Combinatorics : ancient & modern

Published 2013

Oxford University Press

Subjects: “...Mathematics, Ancient...”

Cover Image

3

Combinatorial physics : combinatorics, quantum field theory, and quantum gravity models

by Tanasa, Adrian
Published 2021

Oxford University Press

Subjects: “...Mathematics / ukslc...”

Cover Image

4

Catalan numbers with applications

by Koshy, Thomas
Published 2009

Oxford University Press

Subjects: “...Catalan numbers (Mathematics)...”

Cover Image

5

Graphs and homomorphisms

by Hell, Pavol
Published 2004

Oxford University Press

Subjects: “...Homomorphisms (Mathematics)...”

Cover Image

6

Simplicity theory

by Kim, Byunghan
Published 2014

Oxford University Press

Subjects: “...Mathematics / ukslc...”

Cover Image

7

The structure of models of Peano arithmetic

by Kossak, Roman
Published 2006

Clarendon

Subjects: “...Logic, Symbolic and mathematical...”

8

Reductive logic and proof-search : proof theory, semantics, and control

by Pym, David J.
Published 2004

Clarendon

Subjects: “...Logic, Symbolic and mathematical...”

Cover Image

9

The philosophy of mathematical practice

by Mancosu, Paolo
Published 2008

Oxford University Press

Subjects: “...Mathematical analysis / Foundations...”

Cover Image

10

Foundations without foundationalism : a case for second-order logic

by Shapiro, Stewart
Published 1991

Clarendon

Subjects: “...Logic, Symbolic and mathematical...”

Cover Image

11

Tracking reason : proof, consequence, and truth

by Azzouni, Jody
Published 2006

Oxford University Press

Subjects: “...Logic, Symbolic and mathematical...”

Cover Image

12

After Gèodel : Platonism and rationalism in mathematics and logic

by Tieszen, Richard L.
Published 2011

Oxford University Press

Subjects: “...Logic, Symbolic and mathematical...”

Cover Image

13

Interpolation and definability : modal and intuitionistic logic

by Gabbay, Dov M.
Published 2005

Oxford University Press

Subjects: “...Definability theory (Mathematical logic)...”