Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 10 |
Sort by
|
Book
Year: 1949 Publisher: Brussel : Koninklijke academie voor wetenschappen, letteren en schone kunsten van België,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Intuitionistic mathematics. --- Mathématiques intuitionnistes. --- LOGIQUE ET FONDEMENTS --- INTUITIONISME
Book
Year: 1962 Publisher: Stanford, CA : Stanford University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Philosophie des sciences --- Logique mathématique --- Philosophie des sciences --- Logique et fondements --- Logique et fondements
Book
Year: 1965 Publisher: Amsterdam : North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Logique mathématique. --- Type theory. --- Théorie des types --- Logique et fondements --- Logique et fondements
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Logique mathématique --- Logique et fondements --- Metamathematique --- Tarski, Alfred --- Tarski, Alfred, --- Logique et fondements --- Metamathematique
ISBN: 9027708312 9048183510 940171780X Year: 1977 Publisher: Dordrecht
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- Philosophy of science --- Theory of knowledge --- Logique mathématique --- Calculabilite --- Logique et fondements
ISBN: 9027707081 9401011400 9401011389 9027707103 9027708290 9027708312 Year: 1977 Publisher: Dordrecht
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematical logic --- Logique mathématique --- Logique mathematique --- Calculabilite --- Logique mathématique. --- Logique et fondements
ISBN: 9027701768 940103074X 9401030723 9789027701763 Year: 1971 Publisher: Dordrecht Reidel
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
510.6 --- Mathematical logic --- 510.6 Mathematical logic --- Mathematiques --- Logique et fondements --- Oeuvres reunies
ISBN: 9027708290 9027708304 9401012482 9048183502 9401708371 9027708495 Year: 1977 Volume: 11 Publisher: Dordrecht Reidel
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Linguistics --- Philosophy of science --- Theory of knowledge --- Science --- Sciences --- Linguistique --- Methodology --- Congresses --- Philosophy --- Méthodologie --- Congrès --- Philosophie --- -Science --- -Natural science --- Science of science --- Linguistic science --- Science of language --- Language and languages --- -Congresses --- Méthodologie --- Congrès --- Congresses. --- Natural sciences --- Logique mathématique --- Calculabilite --- Logique et fondements
ISBN: 9027707103 9401011435 9401011419 9789027707109 Year: 1977 Volume: 10 Publisher: Dordrecht Reidel
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Pure sciences. Natural sciences (general) --- Philosophy of science --- Science --- -Science --- -Social sciences --- -Natural science --- Science of science --- Sciences --- Behavioral sciences --- Human sciences --- Sciences, Social --- Social science --- Social studies --- Civilization --- Congresses --- Methodology --- -Congresses --- Philosophy --- Social sciences --- Congresses. --- Natural sciences --- Logique mathématique --- -Behavioral sciences --- Natural science --- Calculabilite --- Logique et fondements
ISBN: 9027703590 9401021147 9401021120 9789027703590 Year: 1974 Volume: 70 Publisher: Dordrecht Reidel
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, symbolic and mathematical --- 510.63 --- Logic, Symbolic and mathematical --- #KVIV --- #KOPO:Prof. R. Holvoet --- #WWIS:ALTO --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logical theories. Logico-object theories. Classical logical systems. Propositional logic. Predicate logic --- Logic, Symbolic and mathematical. --- 510.63 Logical theories. Logico-object theories. Classical logical systems. Propositional logic. Predicate logic --- Logique mathématique --- Axiomatique. --- Axioms. --- Logique et fondements
| Listing 1 - 10 of 10 |
Sort by
|