Publication

Titel	Author	Year	Type
Mathematische Logik mit Informatik-Anwendungen	Bergmann, Eberhard and Noll, Helga	1977	Book
Wissenschaftstheorie 1: Grundlagen und Analytische Wissenschaftstheorie	Esser, Hartmut and Klenovits, Klaus and Zehnpfennig, Helmut	1977	Book
Natural Kinds	Quine, Willard V.O.	1977	Incollection
Decidable Theories	Michael O. Rabin	1977	Incollection
Elements of Recursion Theory	Herbert B. Enderton	1977	Incollection
Knowledge acquisition from structural descriptions	Frederick Hayes-Roth and John McDermott	1977	Inproceedings
Concept Learning and the Recognition and Classification of Exemplars	Hayes-Roth, Barbara and Hayes-Roth, Frederic	1977	Article
Homogenous Sets	Michael Morley	1977	Incollection
Logic, meaning, and conceptual role	H. Field	1977	Article
About the aciom of choice	Thomas J. Jech	1977	Incollection
The syntagmatic--paradigmatic shift revisited: A review of research and theory	Nelson, Katherine	1977	Article
The development of thought	Piaget, Jean	1977	Book
Human Engineering for Applied Natural Language Processing	Hendrix, G.G.	1977	Inproceedings
Fundamentals of Model Theory	H. Jerome Keisler	1977	Incollection
Consistency results in topology	I. Juhász	1977	Incollection
Recursion in Higher Types	Alexander Kechris and Yiannis N. Moschovaks	1977	Incollection
Recursion in higher types	Alexander Kechris and Yiannis N. Moschovakis	1977	Incollection
Theories of finite type related to mathematical practice	Solomon Feferman	1977	Incollection
Doctrines in Categorical Logic	A. Kock and G. E. Reyes	1977	Incollection
Engagement -- disengagment and early object experiences	B. Beebe and D. Stern	1977	Incollection
Forcing	John P. Burgess	1977	Incollection
An introduction to first--order logic	Jon Barwise	1977	Incollection
Strategies for mechanizing structural induction	Raymond Aubin	1977	Inproceedings
Combinatorics	Kenneth Kunen	1977	Incollection
The type free lambda calculus	Henk Barendregt	1977	Incollection
> Show next 25 entries (250 ... )