UB Paderborn / Katalog / Suche / im Katalog

1 – 14 von 14

Sortiert nach

Formal systems and recursive functions : proceedings of the 8. Logic Colloquium, Oxford, July 1963

Studies in logic and the foundations of mathematics

Crossley, John N[Herausgeber]

1965

Signatur: TCL2208

Generalized recursion theory : proceedings of the ... Oslo Symposium

Fenstad, Jens Erik[Herausgeber]

1974-

Signatur: TCL2119-...

Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976

Studies in logic and the foundations of mathematics : 89 (Alle Bände)

Arruda, Ayda I[Herausgeber]

1977

Signatur: TCL2559

The syntax and semantics of infinitary languages

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

Barwise, Jon[Herausgeber]

1968

Signatur: TCL1024

Victoria Symposium on Nonstandard Analysis : University of Victoria 1972

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

1974

Signatur: TCL2185

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

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

Troelstra, Anne S

1969

Signatur: TCL1058

Truth, syntax, and modality : proceedings of the Temple University Conference on Alternative Semantics

Studies in logic and the foundations of mathematics : 68 (Alle Bände)

Leblanc, Hugues[Herausgeber]

1973

Signatur: TCL1359

Philosophical problems in logic : some recent developments

Synthese library : 29 (Alle Bände)

Lambert, Karel[Herausgeber]

1970

Signatur: TCL1113

Mathematical interpretation of formal systems

Studies in logic and the foundations of mathematics

Skolem, Thoralf

2. ed, 1971

Signatur: TCL1294(2)

Proceedings of a Colloquium on Modal and Many Valued Logics : Helsinki, 23 - 26 August, 1962

Acta philosophica Fennica : 16 (Alle Bände)

Colloquium on Modal and Many Valued Logics

1963

Signatur: M38120

Valuation theory in interaction

EMS series of congress reports

2014

Signatur: TAY110129

Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012

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

2014

Signatur: TAY120035

Analysis and logic

London Mathematical Society lecture note series : 262 (Alle Bände)

2002

Signatur: TCL4755

Fuzzy sets and their applications to cognitive and decision processes : proceedings of the US Japan Seminar on Fuzzy Sets and Their Applications, held at the University of California, Berkeley, California, July 1 - 4, 1974

Academic Press rapid manuscript reproduction

Zadeh, Lotfi A[Herausgeber]

1975

Signatur: TCL1846

1 – 14 von 14

Suche als RSS-Feed

Aktive Filter

Autor / AutorinCresswell, Maxwell J

Autor / AutorinDevlin, Keith J

Autor / AutorinSmullyan, Raymond M

SystemstelleTCX

Art des InhaltsKongressbericht

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(14)

Autor / Autorin

Arruda, Ayda I
(1)
Barwise, Jon
(1)
Bourbaki, Nicolas
(1)
Campillo, Antonio
(1)
Colloquium on Modal and Many Valued Logics
(1)
Crossley, John N
(1)
Dries, Lou <<van den>>
(1)
Fenstad, Jens Erik
(1)
Finet, Catherine
(1)
Henson, C. W
(1)
Hurd, Albert E
(1)
Kuhlmann, Franz-Viktor
(1)
Lambert, Karel
(1)
Leblanc, Hugues
(1)
Macpherson, Dugald
(1)
Skolem, Thoralf
(1)
Troelstra, Anne S
(1)
Victoria Symposium on Nonstandard Analysis
(1)
Zadeh, Lotfi A
(1)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(14)

Schlagwort

15 weitere anzeigen...