UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

UGent (5)

ULB (5)

KU Leuven (3)

LUCA School of Arts (3)

Odisee (3)

Thomas More Kempen (3)

Thomas More Mechelen (3)

UCLL (3)

Vlerick Business School (3)

VIVES (3)
More...

Resource type

book (8)

Language

English (6)

Dutch (1)

French (1)

Year

From To

1953 (8)

Listing 1 - 8 of 8
Sort by

Book

Logic for mathematicians
Author: Rosser, John Barkley
Year: 1953 Publisher: New York (N.Y.): McGraw-Hill,

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

An introduction to symbolic logic
Author: Langer, Susanne Katherina Knauth
Year: 1953 Publisher: New York (N.Y.) : 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

Inleiding tot de wijsbegeerte der exacte wetenschappen.
Author: Beth, Evert Willem
Year: 1953 Publisher: Antwerpen : Standaard-boekhandel,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematics --- Logic, Symbolic and mathematical. --- Philosophy.

Book

Logic for mathematicians
Author: Rosser, J. Barkley
Year: 1953 Publisher: New York : McGraw-Hill,

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 --- Logique symbolique et mathématique

Book

Truth and consequence in mediaeval logic
Author: Moody, Ernest A.
ISBN: 9780444533760 0444533761 9786613839084 0080957315 1283526638 Year: 1953 Publisher: Amsterdam : Elsevier Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Provability, Computability and Reflection

Keywords
Truth --- Logic, Medieval --- Vérité --- Logique médiévale --- EPUB-LIV-FT ELSEVIER-B --- Logic, Medieval. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Truth.

Book

Undecidable theories
Author: Tarski, Alfred
ISBN: 1283526158 9786613838605 0080957331 0444533788 Year: 1953 Publisher: Amsterdam : Elsevier Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Provability, Computability and Reflection

Keywords
Godel’s theorem. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Metamathematics. --- Gödel's theorem. --- Decidability (Mathematical logic)

Book

Abstract set theory
Author: Fraenkel, Abraham Adolf
ISBN: 9780444533777 044453377X 9786613838759 0080957323 1283526301 Year: 1953 Volume: 12 Publisher: Amsterdam : Elsevier Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Provability, Computability and Reflection

Keywords
Set theory --- Théorie des ensembles --- EPUB-LIV-FT ELSEVIER-B --- Algebra, Abstract. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Set theory.

Book

Les systèmes axiomatiques de la théorie des ensembles
Authors: Wang, Hao. --- McNaughon, Robert
Year: 1953 Publisher: Paris : Gauthier-Villars,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Set theory --- Logic, Symbolic and mathematical --- Théorie des ensembles --- Logique symbolique et mathématique

Listing 1 - 8 of 8
Sort by