Skip to contents

Diener, Hannes [Author]

Constructive reverse mathematics : Habilitationsschrift

View online
Schließen

Access

https://d-nb.info/1160443564/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Siegen: Universitätsbibliothek der Universität Siegen, 2018
Hayes, Paul [Author]

An ethical intuitionist account of transparency of algorithms and its gradations

View online
Schließen

Access

https://link.springer.com/content/pdf/10.1007/s40685-020-00138-6.pdf

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: Business research ; 13(2020), 3 vom: Nov., Seite 849-874
Berardi, Stefano [Author] ; Stefano Berardi [Contributor]

Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Bernabé, Ignacio [Author] ; Turienzo, Rubén [Contributor]

El gran equipo - [1o ed.]

View online
Schließen

Access

https://learning.oreilly.com/library/view/-/9788483565629/?ar

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Madrid: LID Editorial, 2011

Published in: Colección acción empresarial
Cohen, Liron [Author]; Rahli, Vincent [Author] ; Liron Cohen and Vincent Rahli [Contributor]

Realizing Continuity Using Stateful Computations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Cohen, Liron [Author]; Rahli, Vincent [Author] ; Liron Cohen and Vincent Rahli [Contributor]

Constructing Unprejudiced Extensional Type Theories with Choices via Modalities

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Elgabsi, Natan [Author]; Gilbert, Bennett [Author]

On Some Moral Implications of Linguistic Narrativism Theory

View online
Schließen

Access

https://de-ethica.com/article/view/3120

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[2020]

Published in: De Ethica ; 6(2020), 1, Seite 75-91
Sauer, Hanno [Author]

Moral judgments as educated intuitions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Massachusetts ;; London, England: The MIT Press, [2017]
Audi, Robert [Author]

The Good in the Right : A Theory of Intuition and Intrinsic Value

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Princeton, N.J.: Princeton University Press, 2004 ; 2004
Bickford, Mark [Author]; Cohen, Liron [Author]; Constable, Robert L. [Author]; Rahli, Vincent [Author] ; Mark Bickford and Liron Cohen and Robert L. Constable and Vincent Rahli [Contributor]

Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Shapiro, Stewart [Other]

Intentional mathematics

View online
Schließen

Access

http://www.sciencedirect.com/science/bookseries/0049237X/113

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam; New York; New YorK, N.Y., U.S.A: North-Holland, 1985 ; Amsterdam; New York: North-Holland, 1985

Published in: Studies in logic and the foundations of mathematics ; 113
Burgbacher, Astrid [Author]

Moralische Intuition : eine Annäherung an einen mentalen Zustand

View online
Schließen

Access

https://elibrary.utb.de/doi/book/10.5555/9783957437648

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paderborn: mentis, 2018
Kleene, Stephen Cole [Other]; Barwise, Jon [Other]; Keisler, H. Jerome [Other]; Kunen, Kenneth [Other] ; Kleene Symposium, ScienceDirect (Online service)

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A

View online
Schließen

Access

http://www.sciencedirect.com/science/book/9780444853455

http://www.sciencedirect.com/science/bookseries/0049237X/101

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam; New York: North-Holland Pub. Co, 1980 ; New York: Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980 ; Online-Ausg.: 2009

Published in: Studies in logic and the foundations of mathematics ; 101
Troelstra, Anne S. [Editor]; Dalen, Dirk van [Other]; Brouwer, Luitzen E. J. [Honoree] ; L. E. J. Brouwer Centenary Symposium Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981

View online
Schließen

Access

http://www.sciencedirect.com/science/book/9780444864949

http://www.sciencedirect.com/science/bookseries/0049237X/110

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publ. Comp., 1982

Published in: Studies in logic and the foundations of mathematics ; 110
Heyting, A. [Other] ; ScienceDirect (Online service)

Intuitionism : an introduction - [2nd ed.]

View online
Schließen

Access

http://www.sciencedirect.com/science/bookseries/0049237X/41

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1966 ; Online-Ausg.

Published in: Studies in Logic and the Foundations of Mathematics ; v. 41
Heyting, Arend [Other] ; ScienceDirect (Online service)

Intuitionism : an introduction

View online
Schließen

Access

http://www.sciencedirect.com/science/bookseries/0049237X/17

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1956 ; Online-Ausg.: 2010

Published in: Studies in Logic and the Foundations of Mathematics ; v. 17
Grigoleit, Hans Christoph [Author]

Subjectivism, objectivism, and intuitionism in legal reasoning : avoiding the pseudos

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2022

Published in: Young Scholars Conference "The Law between Objectivity and Power" (2020 : München): The law between objectivity and power ; (2022), Seite 101-109
Falkenstein, Lorne [Author]

Kant's Intuitionism : A Commentary on the Transcendental Aesthetic

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Toronto: University of Toronto Press, 2018

Published in: Toronto Studies in Philosophy
Usadi Katz, Karin [Author]; Katz, Mikhail Gersh [Author]

Meaning in Classical Mathematics: is it at odds with Intuitionism?

View online
Schließen

Access

https://www.persee.fr/doc/intel_0769-4113_2011_num_56_2_1154

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Published in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 56, n° 2, pp. 223-302
Troelstra, Anne S. [Author]

Principles of Intuitionism : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1969

Published in: Lecture notes in mathematics ; 95

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication