Sample records for MATHEMATISCHE LOGIK (mathematical logic)
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

Logic Colloquium '02 : proceedings of the annual European summer meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3 - 11, 2002

Logic Colloquium < 2002, Münster, Westfalen>; Association for Symbolic Logic; Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften
2006-01-01

German National Library of Science and Technology (GetInfo) (German)

5

Translations Between Logics

Da Silva, J. J.; D'Ottaviano, I. M. L.; Sette, A. M.
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

6

Towards an Information Logic

Garzon, M.; Association for Symbolic Logic; Universidad de los Andes
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

8

Symmetric-Intuitionistic Connectives

Galli, A.; Sagastume, M.; Association for Symbolic Logic
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

9

Standardizing the N Systems of Gentzen

Lopez-Escobar, E. G. K.; Association for Symbolic Logic; Universidad de los Andes
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

16

Recent results in proof mining

Leustean, L.; Kohlenbach, U.; European Mathematical Society
2008-01-01

German National Library of Science and Technology (GetInfo) (German)

20

Query Completeness, Distinguishability, and Relational Machines

Turull Torres, J. M.; Association for Symbolic Logic; Universidad de los Andes
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

36

On the Contributions of Helena Rasiowa to Mathematical Logic

Font, J. M.; IEEE; Computer Society; IEEE; Computer Society; Technical Committee on Multiple-Value Logic
1996-01-01

German National Library of Science and Technology (GetInfo) (German)

37

Monadic De Morgan Algebras

Petrovich, A.; Association for Symbolic Logic; Universidad de los Andes
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

40

Methods and applications of mathematical logic : proceedings

Latin American Symposium on Mathematical Logic < 7, 1985, Campinas, São Paulo>
1988-01-01

German National Library of Science and Technology (GetInfo) (German)

42

Mathematical logic in computer science

Colloquium on Mathematical Logic in Computer Science < 1978, Salgótarján>
1981-01-01

German National Library of Science and Technology (GetInfo) (German)

44

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences and Humanities ; Jerusalem, 11 - 14 November 1968

International Colloquium on Mathematical Logic and Foundations of Set Theory < 1968, Yerushalayim>; ha- @Akademyah ha-Le'umit ha-Yiśre'elit le-Mada'im < Yerushalayim>
1970-01-01

German National Library of Science and Technology (GetInfo) (German)

49

Logic, sets and information : proceedings of the Tenth Brazilian Conference on Mathematical Logic, [which took place in Itatiaia, Rio de Janeiro, in May 1993]

Centro de Lógica, Epistemologia e História da Ciência < Campinas, São Paulo>; Sociedade Brasileira de Logica; Brazilian Conference on Mathematical Logic < 10, 1993, Itatiaia>
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

54

Logic and random structures : DIMACS workshop, November 5 - 7, 1995

Workshop on Logic and Random Structures < 1995, New Brunswick, NJ>; Center for Discrete Mathematics and Theoretical Computer Science < Piscataway, NJ>
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

55

Logic and combinatorics : proceedings

Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics < 1985, Arcata, Calif.>; American Mathematical Society; Institute of Mathematical Statistics
1987-01-01

German National Library of Science and Technology (GetInfo) (German)

75

Induction, Games, and Linear Orderings

Oikkonen, J.; Association for Symbolic Logic; Universidad de los Andes
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

76

Ideals in Quasivarieties of Algebras

Blok, W. J.; Raftery, J. G.; Association for Symbolic Logic
1999-01-01

German National Library of Science and Technology (GetInfo) (German)

77

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, Leuven, Belgium, 21-24 September 1992

International Workshop on Higher Order Logic Theorem Proving and Its Applications < 5, 1992, Louvain>; International Federation for Information Processing / Working Group Digital Systems Descriptions and Design Tools
1993-01-01

German National Library of Science and Technology (GetInfo) (German)

88

Categories in computer science and logic : proceedings

Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic < 1987, Boulder, Colo.>; American Mathematical Society
1989-01-01

German National Library of Science and Technology (GetInfo) (German)

90
91

Bias, Misinformation and the Paradox of Neutrality.

Bednar, Peter; Welch, Christine

What is normally described as bias? A possible definition comprises attempts to distort or mislead to achieve a certain perspective, i.e. subjective descriptions intended to mislead. If designers were able to exclude bias from informing systems, then this would maximize their effectiveness. This imp...

DRIVER (German)

98

Abstracts - International Conference Mathematical Logic, Algebra and Set Theory : dedicated to the 100-th anniversary of P. S. Novikov, August 27 - 31, 2001

International Conference Mathematical Logic, Algebra and Set Theory < 2001, Moskva>; Matematičeskij Institut Imeni V. A. Steklova < Moskva>
2001-01-01

German National Library of Science and Technology (GetInfo) (German)