KOBV Portal

Hits per page

hits 1 - 7 | 7 hits

Sorting

Online Resource

Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16–19, 1971 (1972)

Lawvere, Francis W. [Sonstige] 1937-2023

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV041962343

Format: 1 Online-Ressource

ISBN: 9783540059202

Series Statement: Lecture notes in mathematics 274

Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-540-37609-5

Language: English

Subjects: Mathematics

RVK:

SI 850

Keywords: Algebraische Geometrie ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/BFb0073961

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Volltext (Deutschlandweit zugänglich)

URL: Cover

Author information: Lawvere, Francis W. 1937-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 (1972)

Lawvere, Francis William ; Bucur, Ion ; Lawvere, Francis W. [Hrsg.] 1937-2023 ; [et al.]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

gbv_02280353X

Format: 189 S.

ISBN: 3540059202 , 0387059202

Series Statement: Lecture notes in mathematics 274

Additional Edition: Online-Ausg. Bucur, Ion, 1930 - 1976 Toposes, Algebraic Geometry and Logic Berlin, Heidelberg : Springer, 1972 ISBN 9783540376095

Additional Edition: ISBN 9783540059202

Additional Edition: Erscheint auch als Online-Ausgabe Bucur, Ion, 1930 - 1976 Toposes, Algebraic Geometry and Logic Berlin, Heidelberg : Springer, 1972 ISBN 9783540376095

Additional Edition: ISBN 9783540059202

Language: English

Subjects: Mathematics

RVK:

SI 850

Keywords: Algebraische Geometrie ; Kategorientheorie ; Intuitionistische Mathematik ; Algebraische Geometrie ; Logik ; Geometrie ; Algebra ; Mathematische Logik ; Algebraische Geometrie ; Mathematische Logik ; Konferenzschrift ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Cover

Author information: Lawvere, Francis W. 1937-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

Book

Toposes, algebraic geometry and logic : Dalhousie Univ., Halifax, Jan. 16 - 19, 1971 (1972)

Lawvere, Francis W. 1937-2023 ; Bucur, I. [Sonstige]

Berlin, Heidelberg, New York : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV039940444

Format: 189 S. , 25 cm

ISBN: 3540059202 , 0387059202

Series Statement: Lecture notes in mathematics 274

Note: Literaturangaben.

Language: German

Keywords: Algebraische Geometrie ; Konferenzschrift

URL: Inhaltsverzeichnis

Author information: Lawvere, Francis W. 1937-2023

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16-19, 1971 (1972)

Lawvere, F. W. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edoccha_9959185671202883

Format: 1 online resource (VIII, 193 p.)

Edition: 1st ed. 1972.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-37609-7

Series Statement: Lecture Notes in Mathematics, 274

Note: Bibliographic Level Mode of Issuance: Monograph , Sheaf theory and the continuum hypothesis -- Classifying topos -- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic -- The formalization of Bishop's constructive mathematics -- Continuous lattices -- Some applications of the formalism of duality in algebraic geometry -- Cotangent complex and deformations of torsors and group schemes. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-05920-2

Language: English

DOI: 10.1007/BFb0073961

URL: http://dx.doi.org/10.1007/BFb0073961

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

Charité

Online Resource

Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16-19, 1971 (1972)

Lawvere, F. W. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edocfu_9959185671202883

Format: 1 online resource (VIII, 193 p.)

Edition: 1st ed. 1972.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-37609-7

Series Statement: Lecture Notes in Mathematics, 274

In: Springer eBooks

Additional Edition: ISBN 3-540-05920-2

Language: English

DOI: 10.1007/BFb0073961

URL: http://dx.doi.org/10.1007/BFb0073961

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

FU Berlin

Online Resource

Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16–19, 1971 (1972)

Bucur, I. ; Giraud, J. ; Goodman, N. ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almahu_9947921508502882

Format: VIII, 193 p. , online resource.

ISBN: 9783540376095

Series Statement: Lecture Notes in Mathematics, 274

Note: Sheaf theory and the continuum hypothesis -- Classifying topos -- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic -- The formalization of Bishop's constructive mathematics -- Continuous lattices -- Some applications of the formalism of duality in algebraic geometry -- Cotangent complex and deformations of torsors and group schemes.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540059202

Language: English

DOI: 10.1007/BFb0073961

URL: http://dx.doi.org/10.1007/BFb0073961

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16-19, 1971 (1972)

Lawvere, F. W. [editor.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almafu_9959185671202883

Format: 1 online resource (VIII, 193 p.)

Edition: 1st ed. 1972.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-37609-7

Series Statement: Lecture Notes in Mathematics, 274

In: Springer eBooks

Additional Edition: ISBN 3-540-05920-2

Language: English

DOI: 10.1007/BFb0073961

URL: http://dx.doi.org/10.1007/BFb0073961

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

hits 1 - 7 | 7 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 3540052062?

Did you mean 3354005920?

Did you mean 3458059202?

Kooperativer Bibliotheksverbund

Berlin Brandenburg