UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (138)

ULB (101)

UGent (82)

ULiège (81)

UCLouvain (77)

Odisee (55)

LUCA School of Arts (52)

Thomas More Kempen (52)

Thomas More Mechelen (52)

UCLL (52)
More...

Resource type

book (166)

periodical (2)

Language

English (153)

French (8)

German (4)

Polish (1)

Spanish (1)
More...

Year

From To

2000 (168)

Listing 1 - 10 of 168 << page
of 17
>>
Sort by

Lectures on mathematical logic
Author: Felscher, Walter
ISBN: 905699266X 9056992678 9789056992682 9056992686 Year: 2000 Publisher: Amsterdam : Gordon and Breach science publishers,

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.

Logic Colloquium '98
Authors: Buss, Samuel R. --- Hájek, Petr --- Pudlák, Pavel
ISBN: 1568811144 1568811136 9781568811130 9781568811147 Year: 2000 Volume: 13 Publisher: Providence (R.I.) : Association for symbolic logic,

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 --- Logic, Symbolic and mathematical - Congresses

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.

Geometric calculus: according to the Ausdehnungslehre of H. Grassmann
Authors: Peano, Giuseppe --- Kannenberg, Lloyd C.
ISBN: 0817641262 9780817641269 Year: 2000 Publisher: Boston (Mass.): Birkhäuser,

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 --- Ausdehnungslehre

Book

Foundations without foundationalism : a case for second-order logic.
Author: Shapiro, Stewart
ISBN: 0191524018 9780191524011 Year: 2000 Publisher: Oxford : New York : Clarendon Press ; Oxford University Press,

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. --- Mathematics.

Book

Problems in the philosophy of science : proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 3
Authors: Lakatos, Imre. --- Musgrave, Alan. --- International Colloquium in the Philosophy of Science
ISBN: 1283526115 9786613838568 0080957684 044453413X 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. --- Physics -- Philosophy. --- Science -- Philosophy. --- Logic, Symbolic and mathematical --- Physics --- Science --- Philosophy

Propositional calculus, Boolean algebras, predicate calculus
Authors: Cori, René --- Lascar, Daniel
ISBN: 0198500483 Year: 2000 Publisher: Oxford Oxford University Press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- Logic, Symbolic and mathematical.

Mathematical logic: a course with exercises
Authors: Cori, René --- Lascar, Daniel
ISBN: 0198500491 0198500513 9780198500490 Year: 2000 Publisher: Oxford Oxford University Press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- Logic, symbolic and mathematical

Frontiers of combining systems 2
Authors: Gabbay, Dov M. --- De Rijke, Maarten
ISBN: 0863802524 Year: 2000 Publisher: Baldock : Research studies press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer science --- Logic, Symbolic and mathematical

Book

Untersuchungen zur allgemeinen Axiomatik
Authors: Carnap, Rudolf --- Bonk, Thomas
ISBN: 3534142985 Year: 2000 Publisher: Darmstadt Wissenschaftliche Buchgesellschaft

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Axioms --- Logic, Symbolic and mathematical --- Philosophy

Listing 1 - 10 of 168 << page
of 17
>>
Sort by