Union Catalogue of Belgian Libraries
Listing 1 - 10 of 142
|
<<
page
>>
|
Sort by
|
Book
First-order logic
Author:
Smullyan, Raymond Merrill
ISBN: 3540040994 3642867200 3642867189 9783540040996
Year: 1971
Volume: 43
Publisher: Berlin: Springer,

Loading...
Export citation
Choose an application
Practical logic

Loading...
Export citation
Choose an application
Book
Logical systems containing only a finite number of symbols.
Author:
Henkin, Leon
ISBN: 0840500734 9780840500731
Year: 1967
Volume: 21
Publisher: Montréal : Presses de l'Université de Montréal,

Loading...
Export citation
Choose an application
Book
Non-Archimedean utility theory
Author:
Skala, H.J.
ISBN: 9027703523 9401017263 9401017247
Year: 1975
Publisher: Dordrecht

Loading...
Export citation
Choose an application
Book
Unvollständigkeit und Unentscheidbarkeit: : die mathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Author:
Stegmüller, Wolfgang
ISBN: 3211812083 3709183529 9783211812082
Year: 1973
Publisher: Wien: Springer,

Loading...
Export citation
Choose an application
Foundations of the logical theory of scientific knowledge (complex logic)

Loading...
Export citation
Choose an application
Book
Logique et informatique : une introduction

Loading...
Export citation
Choose an application
Book
Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
Author:
Sinowjew, A. A.
ISBN: 3528082887
Year: 1970
Publisher: Braunschweig Vieweg

Loading...
Export citation
Choose an application
Multi
Meta-mathematical aspects of Martin-Löf's type theory

Loading...
Export citation
Choose an application
Book
Language, proof, and logic

Loading...
Export citation
Choose an application
Listing 1 - 10 of 142
|
<<
page
>>
|
Sort by
|