登入選單
Google圖書搜尋
Simplicial Methods for Operads and Algebraic Geome...
作者
Ieke Moerdijk / Bertrand Toën
出版Springer Science & Business Media, 2010-12-01
ISBN
9783034800525 / 3034800525
主題
Mathematics
Sheaves in Geometry and Logic
作者
Saunders MacLane / Ieke Moerdijk
出版Springer Science & Business Media, 1994-10-27
ISBN
9780387977102 / 0387977104
主題
Mathematics
Algebraic Set Theory
作者
André Joyal / Ieke Moerdijk
出版Cambridge University Press, 1995-09-14
ISBN
0521558301 / 9780521558303
主題
Mathematics
Sets, Models and Proofs
作者
Ieke Moerdijk / Jaap van Oosten
出版Springer, 2018-11-23
ISBN
9783319924144 / 3319924141
主題
Mathematics
Classifying Spaces and Classifying Topoi
作者
Izak Moerdijk
出版Springer, 2006-11-14
ISBN
9783540449126 / 3540449124
主題
Mathematics
Cohomology Theories in Synthetic Differential Geom...
作者
Ieke Moerdijk / Izak Moerdijk / Gonzalo E. Reyes
出版1983
ISBN
OCLC:63688758
Models for Smooth Infinitesimal Analysis
作者
Ieke Moerdijk / Gonzalo E. Reyes
出版Springer Science & Business Media, 2013-03-14
ISBN
9781475741438 / 147574143X
主題
Mathematics
Sheaf models for choice sequences
作者
Gerrit van der Hoeven / Ieke Moerdyk
出版1982
ISBN
OCLC:46044851
Introduction to Foliations and Lie Groupoids
作者
Ieke Moerdijk / J. Mrcun
出版2003
ISBN
0511071531 / 9780511071539
主題
Foliations (Mathematics)
Simplicial and Dendroidal Homotopy Theory
作者
Gijs Heuts / Ieke Moerdijk
出版Springer Nature, 2022-08-02
ISBN
9783031104473 / 3031104471
主題
Mathematics
Proper Maps of Toposes
作者
Ieke Moerdijk / Jacob Johan Caspar Vermeulen
出版American Mathematical Soc., 2000
ISBN
9780821821688 / 0821821687
主題
Mathematics
Algebraic Set Theory
作者
Izak Moerdijk / André Joyal / Ieke Moerdijk
出版2014-05-14
ISBN
1107362407 / 9781107362406
主題
MATHEMATICS
On an independence result in the theory of lawless...
作者
Gerrit van der Hoeven / Ieke Moerdyk
出版1982
ISBN
OCLC:46043620
Algebraic Set Theory
作者
Andri Joyal / Ieke Moerdijk
出版1995
ISBN
110736731X / 9781107367319
主題
Electronic books
Amsterdam Papers in Formal Grammar
作者
Fred Landman / Ieke Moerdijk
出版1981
ISBN
OCLC:475704333
Grothendieck topologies
作者
Janez Mrčun / Ieke Moerdijk / Peter Šemrl
出版1993
ISBN
OCLC:456437695
Amsterdam Papers in Formal Grammar
出版1981
ISBN
OCLC:929481284
Presentations of Etendues
作者
Anders Kock / Ieke Moerdijk
出版1990
ISBN
OCLC:255597799
Introduction to foliations
作者
Ieke Moerdijk / Janez Mrčun
出版1999
ISBN
OCLC:439725585
Local Maps of Grothendieck Toposes
作者
Ieke Moerdijk
出版1986
ISBN
OCLC:636600070
Type Theories, Toposes and Constructive Set Theory...
出版2000
ISBN
OCLC:923700428
Spaces with Local Equivalence Relations, and Their...
作者
Anders Kock / Ieke Moerdijk
出版1994
ISBN
OCLC:258146421
On choice sequences determined by spreads
作者
Gerrit van der Hoeven / Ieke Moerdyk
出版1983
ISBN
OCLC:63688555
Categories of Frames for Intuitionistic Predicate ...
作者
Ieke Moerdijk
出版1981
ISBN
OCLC:256405243
Lectures on 2-dimensional Groupoids
作者
Ieke Moerdijk
出版1990
ISBN
OCLC:76899071
The Classifying Topos of a Continuous Groupoid
作者
Ieke Moerdijk
出版1986
ISBN
OCLC:64336577
Local Equivalence Relations and Their Sheaves
作者
Anders Kock / Ieke Moerdijk
出版1991
ISBN
OCLC:255599449
A Definability Theorem for First Order Logic
作者
Carsten Butz / Ieke Moerdijk
出版1997
ISBN
OCLC:246013075
Minimal Models of Heyting Arithmetic
作者
Ieke Moerdijk / Erik Palmgren
出版1995
ISBN
OCLC:186929472
On the Relation Between Connections and Sprays
作者
Ieke Moerdijk / Izak Moerdijk / Gonzalo E. Reyes
出版1985
ISBN
OCLC:64207080