Book serie: / Книги серии: Oxford Logic Guides 48 » Page 10 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Oxford Logic Guides 48 » Page 10

book From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

pdf

Author: Laura Crosilla Peter Schuster
Language: English
Year: 2005

00

27.01.2024

1

0

book Elementary Categories, Elementary Toposes

Elementary Categories, Elementary Toposes

djvu

Author: Colin McLarty
Language: English
Year: 1996

00

27.01.2024

2

0

book Interpolation and Definability: Modal and Intuitionistic Logics

Interpolation and Definability: Modal and Intuitionistic Logics

pdf

Author: Dov M. Gabbay Larisa Maksimova
Language: English
Year: 2005

00

27.01.2024

0

0

book Diagonalization and Self-Reference

Diagonalization and Self-Reference

djvu

Author: Raymond M. Smullyan
Language: English
Year: 1994

00

27.01.2024

0

0

book Diagonalization and Self-Reference

Diagonalization and Self-Reference

djvu

Author: Raymond M. Smullyan
Language: English
Year: 1994

00

27.01.2024

0

0

book Category Theory

Category Theory

pdf

Author: Awodey S
Language: English
Year: 2006

00

27.01.2024

0

0

book Computability and Randomness

Computability and Randomness

pdf

Author: André Nies
Language: English
Year: 2009

00

27.01.2024

0

0

book Category Theory

Category Theory

pdf

Author: Steve Awodey
Language: English
Year: 2006

00

27.01.2024

0

0

book Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems

djvu

Author: Raymond M. Smullyan
Language: English
Year: 1992

00

27.01.2024

0

0

book From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

pdf

Author: Laura Crosilla Peter Schuster
Language: English
Year: 2005

00

27.01.2024

0

0