Search Results - "Studies in logic and the foundations of mathematics" :: K.UTB vyhledávací portál

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Loading…

Handbook of mathematical logic

by Barwise, Jon, Keisler, H. Jerome
Year of Publication 1977

Get full text

eBook Book

Loading…

Residuated lattices: an algebraic glimpse at substructural logics

by Galatos, Nikolaos, Jipsen, Peter, Kowalski, Tomasz, Ono, Hiroakira
Year of Publication 25.04.2007

Get full text

eBook

Loading…

Lectures on the Curry-Howard isomorphism

by Sørensen, Morten Heine, Urzyczyn, Paweł
Year of Publication 2006

Get full text

eBook Book

Loading…

Topoi : the categorial analysis of logic

by Goldblatt, Robert
Year of Publication 1984

Get full text

eBook Book

Loading…

Realizability : an introduction to its categorical side

by Oosten, Jaap van
Year of Publication 2008

Get full text

eBook Book

Loading…

Topoi: The Categorial Analysis of Logic

by Goldblatt, R
Year of Publication 28.06.2014

Get full text

eBook

Loading…

Partial Combinatory Algebras

by van Oosten, Jaap
Published in Realizability (2008)

Get full text

Book Chapter

Loading…

Realizability triposes and toposes

by van Oosten, Jaap
Published in Realizability (2008)

Get full text

Book Chapter

Loading…

The Effective Topos

by van Oosten, Jaap
Published in Realizability (2008)

Get full text

Book Chapter

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database