UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (53)

UGent (53)

ULB (53)

UCLL (50)

LUCA School of Arts (49)

Odisee (49)

Thomas More Kempen (49)

Thomas More Mechelen (49)

Vlerick Business School (49)

VIVES (49)
More...

Resource type

book (49)

periodical (6)

Language

English (54)

German (1)

Year

From To

2009 (1)

2000 (22)

1995 (1)

1984 (1)

1980 (1)
More...

Listing 1 - 10 of 55 << page
of 6
>>
Sort by

Book

Computer programming and formal systems : proceedings of the colloquium hel at Amsterdam 1957
Author: Heyting, A.
ISBN: 1283526530 9786613838988 0080957463 0444533915 9780444533913 Year: 2000 Publisher: Burlington : 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
Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Metamathematics.

Book

Introduction to the theory of finite automata
Authors: Kobrinskiĭ, N. E. --- Trakhtenbrot, B. A.
ISBN: 128352628X 9786613838735 0080957587 0444534032 9780080957586 Year: 2000 Publisher: Burlington : 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
Formal languages. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Sequential machine theory.

Book

Computer programming and formal systems
Authors: Braffort, P. --- Hirschberg, D.
ISBN: 1283526298 9786613838742 0080957552 0444534008 Year: 2000 Publisher: Burlington : 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
Computer programming. --- Formal methods (Computer science). --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical.

Book

An essay in modal logic
Author: Von Wright, Georg H.
ISBN: 128352662X 0080957250 0444533702 9780444533708 Year: 1951 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
Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Modality (Logic). --- Proof theory. --- Logic.

Book

Set theory
Authors: Kuratowski, Kazimierz --- Mostowski, Andrzej.
ISBN: 1283526018 9786613838469 0080957722 0444534172 Year: 1968 Publisher: Burlington : 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
Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Set theory. --- Descriptive set theory.

Book

A survey of mathematical logic
Author: Wang, Hao
ISBN: 1283526557 9786613839008 0080957536 0444533982 9780444533982 Year: 1963 Publisher: Burlington : 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
Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Mathematics -- Philosophy. --- Mathematics --- Philosophy.

Book

The axiomatic method : with special references to geometry and physics
Authors: Henkin, Leon. --- Suppes, Patrick --- Tarski, Alfred
ISBN: 1283526085 9786613838537 0080957471 0444533923 Year: 2000 Publisher: Burlington : 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
Axioms. --- Geometry -- Foundations. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Mathematics -- Philosophy.

Book

Many-values logics
Authors: Rosser, J. Barkley J. --- Turoutte, Atwell R.
ISBN: 1283526123 9786613838575 0080957277 0444533729 Year: 2000 Publisher: Burlington : 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
Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Many-valued logic.

Book

Combinatory logic
Author: Curry, Haskell B.
ISBN: 1283526220 9786613838674 0080957420 0444533877 Year: 1972 Publisher: Burlington : 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
Combinatory logic. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical.

Book

Nomological statements and admissible operations
Author: Reichenbach, Hans
ISBN: 1283526573 9786613839022 008095734X 0444533796 Year: 1954 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
Counterfactuals (Logic). --- Law (Philosophy). --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Modality (Logic). --- Logic.

Listing 1 - 10 of 55 << page
of 6
>>
Sort by