UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 64

Sortiert nach

Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe

Einführung in die mathematische Logik (Alle Bände)

Asser, Günter

1972

Signatur: TCL2088-2

Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe

Einführung in die mathematische Logik (Alle Bände)

Asser, Günter

1981

Signatur: TCL2088-3

Einführung in die operative Logik und Mathematik

Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 78 (Alle Bände)

Lorenzen, Paul

2. Aufl, 1969

Signatur: TCK1126(2)

Mathematical logic

Notes on mathematics and its applications

Ponasse, Daniel

1973

Signatur: TCK1825

Introduction to mathematical logic : set theory, computable functions, model theory

Undergraduate texts in mathematics

Malitz, Jerome

1979

Signatur: TVD1559

Logic Symposia : Hakone 1979, 1980 ; proceedings of conferences held in Hakone, Japan, March 21 - 24, 1979 and February 4 - 7, 1980

Lecture notes in mathematics : 891 (Alle Bände)

1981

Signatur: TAY790563

Mathematische Existenz : Untersuchungen zur Logik und Ontologie mathematischer Phänomene

Becker, Oskar

2., unveränd. Aufl, 1973

Signatur: TBP1517(2)

The logical foundations of mathematics

FOUNDATIONS AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY SERIES

Hatcher, William S

1982

Signatur: TCK3152

Introduction to higher order categorical logic

Cambridge studies in advanced mathematics : 7 (Alle Bände)

1986

Signatur: TCX1812

Inhaltliches Denken und formale Systeme : der platonische Standpunkt in Logik, Mathematik und Erkenntnistheorie

Gut, Bernardo J

1. Aufl, 1979

Signatur: HLT1684

Mathematical logic and foundations of set theory : proceedings of an international colloquium ..., Jerusalem, 11 - 14 November 1968

Studies in logic and the foundation of mathematics

Bar-Hillēl, Yehôšuaʿ[Herausgeber]

1970

Signatur: TAY1306

Complementarity in mathematics : a first introduction to the foundations of mathematics and its history

Mathematics and its applications : 1 (Alle Bände)

Kuyk, Willem

1977

Signatur: TBP1795

A mathematical introduction to logic

Enderton, Herbert B

1972

Signatur: TCK1647

Mathématiques et logique : rétrospective et perspectives

1973

Signatur: TCK2601

Elementarmathematik in moderner Darstellung

Logik und Grundlagen der Mathematik : 1 (Alle Bände)

Félix, Lucienne

2., verb. u. erw. Aufl., 1. Nachdr, 1970

Signatur: TCK2083(2)

Logik und Mathematik für Sozialwissenschaftler. 2. Bestandteile und Methoden formalisierter Modelle in den Sozialwissenschaften

Logik und Mathematik für Sozialwissenschaftler (Alle Bände), Uni-Taschenbücher : 528 (Alle Bände)

1976

Signatur: M37625

Elements of logic and foundations of mathematics in problems

1982

Signatur: TCL3254

Collegium logicum : publication series of the Kurt Gödel Society

1995-

Zeitschriftenbestand: 1.1995 - 2.1996

Signatur: 61c18

Science without numbers : a defence of nominalism

Library of philosophy and logic

Field, Hartry H

1980

Signatur: TBP2571

Nachgelassene Schriften und wissenschaftlicher Briefwechsel

1969-

Signatur: JFPB1040-...

Demonstrative and non-demonstrative reasoning in mathematics and natural science : workshop, University of Rome "La Sapienza", Rome, Villa Mirafiori, 16 - 17 June 2005

Edizioni dell'Università degli Studi di Cassino / Studi archeologici, artistica, filologici, filosofici, letterari i storici : 12 (Alle Bände)

Cellucci, Carlo[Herausgeber]

2006

Signatur: HLD4030

Proofs and refutations : the logic of mathematical discovery

Lakatos, Imre

Repr. with corr, 1979

Signatur: TCK3005

Proofs and refutations : the logic of mathematical discovery

1976

Signatur: TCL2525

Logik und Mathematik für Sozialwissenschaftler

1973-

Grundlagen : Abhandlungen zur Philosophie, Logik, Mathematik und Wirtschaftswissenschaft

Problemata : 78 (Alle Bände)

Ramsey, Frank Plumpton

1980

Signatur: TCK2198-DT

1 – 25 von 64

Suche als RSS-Feed

Aktive Filter

SystemstelleJHEW

Art des MediumsGedruckt

SchlagwortMathematik

Suchergebnisse filtern

Filter anzeigen

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(60)
Zeitschrift
(4)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TCK
(13)
TBP
(12)
TCL
(8)
HLF
(2)
JFPQ
(2)
TAQ
(2)
TAY
(2)
TLU
(2)
AFG
(1)
AGJ
(1)
HIIW
(1)
HIU
(1)
HJX
(1)
HLD
(1)
HLK
(1)
HLT
(1)
HNI
(1)
HNK
(1)
JCFA
(1)
JCFI
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe

Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe

Einführung in die operative Logik und Mathematik

Mathematical logic

Introduction to mathematical logic : set theory, computable functions, model theory

Logic Symposia : Hakone 1979, 1980 ; proceedings of conferences held in Hakone, Japan, March 21 - 24, 1979 and February 4 - 7, 1980

Mathematische Existenz : Untersuchungen zur Logik und Ontologie mathematischer Phänomene

The logical foundations of mathematics

Introduction to higher order categorical logic

Inhaltliches Denken und formale Systeme : der platonische Standpunkt in Logik, Mathematik und Erkenntnistheorie

Mathematical logic and foundations of set theory : proceedings of an international colloquium ..., Jerusalem, 11 - 14 November 1968

Complementarity in mathematics : a first introduction to the foundations of mathematics and its history

A mathematical introduction to logic

Mathématiques et logique : rétrospective et perspectives

Elementarmathematik in moderner Darstellung

Logik und Mathematik für Sozialwissenschaftler. 2. Bestandteile und Methoden formalisierter Modelle in den Sozialwissenschaften

Elements of logic and foundations of mathematics in problems

Collegium logicum : publication series of the Kurt Gödel Society

Science without numbers : a defence of nominalism

Nachgelassene Schriften und wissenschaftlicher Briefwechsel

Demonstrative and non-demonstrative reasoning in mathematics and natural science : workshop, University of Rome "La Sapienza", Rome, Villa Mirafiori, 16 - 17 June 2005

Proofs and refutations : the logic of mathematical discovery

Proofs and refutations : the logic of mathematical discovery

Logik und Mathematik für Sozialwissenschaftler

Grundlagen : Abhandlungen zur Philosophie, Logik, Mathematik und Wirtschaftswissenschaft

Aktive Filter

Suchergebnisse filtern