Zum Inhalt springen

Schütte, Kurt [VerfasserIn]

Vollständige Systeme modaler und intuitionistischer Logik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1968

Erschienen in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 42
Korn, Daniel [VerfasserIn]

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Sankt Augustin: Infix, 1999

Erschienen in: Dissertationen zur künstlichen Intelligenz ; 198
Mints, G. E. [VerfasserIn]

A short introduction to intuitionistic logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY [u.a.]: Kluwer Academic/Plenum Publ., 2000

Erschienen in: The university series in mathematics
Readi-Nasser, Rodrigo [VerfasserIn]

An intuitionistic approach to logic programming

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1998

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 29600
Wright, Georg Henrik von [HerausgeberIn] ; International Institute of Philosophy

Logic and philosophy = Logique et philosophie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

The Hague: Nijhoff, 1980
Šramko, Jaroslav Vladyslavovyč [VerfasserIn]

Intuitionismus und Relevanz

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Logos, [1999]

Erschienen in: Logische Philosophie ; 300
Gabbay, Dov M. [VerfasserIn]

Semantical investigations in Heyting's intuitionistic logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Reidel, 1981

Erschienen in: Synthese <Dordrecht> / Library ; 148
Husson, Léon Marie [VerfasserIn]

L' Intellectualisme de Bergson : genèse et développement de la notion bergsonienne d'intuition

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Paris: Presses Universitaires de France, 1947

Erschienen in: Bibliothèque de philosophie contemporaine ; Histoire de la philosophie et philosophie générale
Emrich, Hermann [VerfasserIn]

Goethes Intuition

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Tübingen: Mohr, 1928

Erschienen in: Heidelberger Abhandlungen zur Philosophie und ihrer Geschichte ; 14
Troelstra, Anne S. [VerfasserIn] ; Summer Conference on Intuitionism and Proof Theory 1968 Buffalo, NY

Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y.

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1969

Erschienen in: Lecture notes in mathematics ; 95
Šramko, Jaroslav Vladyslavovyč [VerfasserIn]; Wansing, Heinrich [VerfasserIn]

Truth and falsehood : an inquiry into generalized logical values

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Trends in logic ; 36
Bittel, Oliver [VerfasserIn]

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1991

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 198
Kino, Akiko [HerausgeberIn]; Myhill, John [Sonstige Person, Familie und Körperschaft] ; Summer Conference on Intuitionism and Proof Theory 1968 Buffalo, NY

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y., 1968

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland, 1970

Erschienen in: Studies in logic and the foundations of mathematics
Lévinas, Emmanuel [VerfasserIn] ; Haensler, Philippe [ÜbersetzerIn]; Fanzun, Sebastien [ÜbersetzerIn]

Husserls Theorie der Anschauung

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien; Berlin: Verlag Turia + Kant, [2019]

Erschienen in: Neue Subjektile
Gladwell, Malcolm [VerfasserIn] ; Neubauer, Jürgen [Sonstige Person, Familie und Körperschaft]

Blink! : die Macht des Moments

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Frankfurt/Main [u.a.]: Campus-Verl., 2005
Berne, Eric [GeistigeR SchöpferIn] ; Hagehülsmann, Heinrich [HerausgeberIn]; Young, Anthony [ÜbersetzerIn]; Henzel-Winterfeld, Ulrich [ÜbersetzerIn]

Transaktionsanalyse der Intuition : ein Beitrag zur Ich-Psychologie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Paderborn: Junfermann, 1991

Erschienen in: Innovative Psychotherapie und Humanwissenschaften ; 45
Catel, Werner [VerfasserIn]

Medizin und Intuition : Versuch einer Analyse

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Thieme, 1979
König, Josef [VerfasserIn]

Der Begriff der Intuition

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Halle/Saale: Niemeyer, 1926

Erschienen in: Philosophie und Geisteswissenschaften / Buchreihe ; 2
Troelstra, Anne S. [VerfasserIn]; Dalen, Dirk van [VerfasserIn]

Constructivism in mathematics : an introduction

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam: North-Holland, 1988

Erschienen in: Studies in logic and the foundations of mathematics ; .
Gunderson, Dörte [VerfasserIn]

Untersuchungen zur Konstruktivität des Bar-Theorems (Brouwer 1954)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1990

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr