UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (207)

UGent (103)

UAntwerpen (101)

ULB (87)

UCLouvain (80)

VUB (55)

ULiège (51)

Odisee (34)

KBR (26)

UCLL (18)
More...

Resource type

book (299)

periodical (3)

dissertation (1)

Language

German (302)

Year

From To

2022 (3)

2021 (2)

2019 (1)

2018 (1)

2017 (2)
More...

Listing 1 - 10 of 302 << page
of 31
>>
Sort by

Book

Einführung in die symbolische Logik : mit besonderer Berücksichtigung ihrer Anwendungen
Author: Carnap, Rudolf
ISBN: 321180854X 9783211808542 Year: 1973 Publisher: Wien Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, symbolic and mathematical

Book

Logic and structure
Author: Van Dalen, Dirk
ISBN: 9780387128313 038712831X Year: 1983 Publisher: Berlin: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, symbolic and mathematical

Book

Abriss der Logistik mit besonderer Berücksichtigung der relationstheorie und ihrer Anwendungen
Author: Carnap, Rudolf
Year: 1929 Publisher: Wien: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, symbolic and mathematical.

Book

Vollständige Systeme modaler und intuitionistischer Logik.
Author: Schütte, Kurt
Year: 1968 Publisher: Berlin : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Book

Grundzüge der theoretischen Logik
Authors: Hilbert, David --- Ackermann, Wilhelm
Year: 1949 Publisher: Berlin : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Book

Über die Vollständigkeit der Axiomensysteme mit einem endlichen Individuenbereich
Author: Kustaanheimo, Paul Edwin
Year: 1949 Publisher: Helsinki : Suomalainen Tiedeakatemia,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Book

Untersuchungen über den Modalkalkül
Author: Becker, Oskar
Year: 1952 Publisher: Meisenheim am Glan : Hain,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Book

Grundzüge der theoretischen Logik
Authors: Hilbert, David --- Ackermann, Wilhelm
Year: 1946 Publisher: New York : Dover Publications,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Book

Einführung in die mathematische Logik und in die Methodologie der Mathematik
Author: Tarski, Alfred
Year: 1937 Publisher: Wien : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Book

Formale Logik
Author: Lorenzen, Paul,
ISBN: 311083393X Year: 2019 Publisher: Berlin ; Boston : De Gruyter,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic, Symbolic and mathematical.

Listing 1 - 10 of 302 << page
of 31
>>
Sort by