Search Results - "logika"
-
81
K dějinám výrokové logiky v antice
1959
Pojednává o vzniku výrokové logiky v antice, sleduje vývoj a výsledky teorie výroků u stoiků, Galéna a Boethia a dovozuje, že některé převratné objevy moderní logiky byly běžně …
Books -
82
-
83
Found in 2 institutions
-
84
Found in 4 institutions
-
85
Found in 2 institutions
-
86
The Language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0
1992
This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with …
BooksFound in 2 institutions
-
87
A concise introduction to mathematical logic
[2010]
"Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, …
BooksFound in 2 institutions
-
88
-
89
Handbook of philosophical logic. Vol. 2, Extensions of classical logic
1994
The Handbook of Philosophical Logic is a unique systematic survey of the central areas of philosophical logic. Divided into four volumes, each devoted to a major sub-field within the disciplines, it …
BooksFound in 2 institutions
-
90
Found in 2 institutions
-
91
Found in 7 institutions
-
92
-
93
Found in 3 institutions
-
94
-
95
Found in 2 institutions
-
96
-
97
Methods of logic
[1982]
This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new …
BooksFound in 3 institutions
-
98
Labelled deductive systems. Volume 1
1996
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled …
BooksFound in 2 institutions
-
99
Symbolic logic and The game of logic: (both books bound as one)
[1958]
In this unique fusion of logical thought and inimitable whimsy, Over 350 ingenious problems involve classical logic: logic is expressed in terms of symbols; syllogisms and the sorites are diagrammed; …
BooksFound in 1 institution
-
100
Found in 1 institution