Wird geladen...

QR-Code

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /

Bibliographische Detailangaben
1. Verfasser:	Kleene, Stephen Cole
Weitere Verfasser:	Barwise, Jon, Keisler, H. Jerome, Kunen, Kenneth
Format:	Printed Book
Sprache:	English
Veröffentlicht:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
Schlagworte:	Recursion theory > Congresses. Intuitionistic mathematics > Congresses.

Ähnliche Einträge

Wird geladen...

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Veröffentlicht: (1977)

Wird geladen...

Diagonalization and self-reference.
von: Smullyan, Raymond M.
Veröffentlicht: (1996)

Wird geladen...

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
von: Fenstad,J.E.ed
Veröffentlicht: (1974)

Wird geladen...

Recursion theory for metamathematics.
von: Smullyan, Raymond M.
Veröffentlicht: (1993)

Wird geladen...

Symposium on Anomalies, Geometry, Topology /
Veröffentlicht: (1985)

Wird geladen...

Proceedings of the ... Tihany Symposium on Radiation Chemistry.
Veröffentlicht: (1964)

Wird geladen...

Electrolytes : proceedings of an international symposium held in Trieste June 1959 /
Veröffentlicht: (1962)

Wird geladen...

Proceedings of the symposium on biomolecular structure and interactions /
Veröffentlicht: (1984)

Wird geladen...

Proceedings of the symposium on biomolecular structure and interactions /
Veröffentlicht: (1984)

Wird geladen...

IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-scales : proceedings of the IUTAM symposium held in Hong Kong, China, 31 May - 4 June, 2004 /
Veröffentlicht: (2006)

Wird geladen...

Group theoretical methods in physics : proceedings of the IX International Colloquium on Group Theoretical Methods in Physics held in Cocoyoc, Mexico, 23-27 June 1980 /
Veröffentlicht: (1980)

Wird geladen...

Recursive functions.-3rd ed.
von: Peter, Rozsa
Veröffentlicht: (1967)

Wird geladen...

Ramanujan International Symposium on Analysis
von: Thakare, N. K ed
Veröffentlicht: (1989)

Wird geladen...

Systems, control, modeling and optimization : proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy /
Veröffentlicht: (2006)

Wird geladen...

Symposium on Electrical Conductivity in Organic Solids; [paper]
Veröffentlicht: (1961)

Wird geladen...

Complex systems, operational approaches in neurobiology, physics, and computers: proceedings of the International Symposium on Synergetics at Schloss Elmau, Bavaria, May 6-11, 1985 /
Veröffentlicht: (1985)

Wird geladen...

Recursion sequences
von: Markushevich, A.I.ed
Veröffentlicht: (1975)

Wird geladen...

Recursion sequences
von: Markushevich
Veröffentlicht: (1975)

Wird geladen...

Advanced programming and problem solving with Pascal
von: Scheider,G Michael
Veröffentlicht: (1987)

Wird geladen...

Plenary and main lectures presented at the International Symposium on Macromolecules held in Helsinki, Finland, 2-7 July, 1972 /
Veröffentlicht: (1973)

Wird geladen...

Symposium : seed protiens
von: Inglett, G E
Veröffentlicht: (1972)

Wird geladen...

Catalysis by acids and bases : proceedings of an international symposium ... /
Veröffentlicht: (1985)

Wird geladen...

Interfacial structure, properties, and design : symposium held April 5-8, 1988, Reno, Nevada, U.S.A. /
Veröffentlicht: (1988)

Wird geladen...

Microprocessor systems: software, firmware and hardware 6th Euromicro symposium on microprocessing and microprogramming September 16-18, 1980: London.:
Veröffentlicht: (1980)

Wird geladen...

Vedanta Darsanam/
von: Balakrishnan Nair G
Veröffentlicht: (2013)

Wird geladen...

Thin films and interfaces II : symposium held November 1983, in Boston, Massachusetts, U.S.A., v. 25 /
Veröffentlicht: (1984)

Wird geladen...

Advances in mycology and plant pathology : proceedings of the national symposium held at Calcutta on 22nd, 23rd September, 1979
von: Chattopadhyay, S B
Veröffentlicht: (1982)

Wird geladen...

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 /
von: Goos,G.ed
Veröffentlicht: (1975)

Wird geladen...

Laser diagnostics and photochemical processing for semiconductor devices : symposium held November 1982 in Boston, Massachusetts, U.S.A. /
Veröffentlicht: (1983)

Wird geladen...

Symmetries and nonlinear phenomena : proceedings of the International School on Applied Mathematics, Paipa (Colombia), Feb. 22-26, 1988 /
von: Levi, D., ed
Veröffentlicht: (1988)

Wird geladen...

Immunity and virus infection : symposium held at Vanderbilt Universtiy school of medicine, May 1 - 2, 1958
von: Najjar, Victor A
Veröffentlicht: (1959)

Wird geladen...

Number theory and physics : proceedings of the winter school, Les Houches, France, March 7-16, 1989 /
Veröffentlicht: (1990)

Wird geladen...

Proceedings of the Second Tihany symposium on Radiation Chemistry /
Veröffentlicht: (1967)

Wird geladen...

Chemical bonds in solids; proceedings of the International Symposium on Chemical Bonds in Semiconducting Crystals held in Minsk, USSR, in 1967.
Veröffentlicht: (1972)

Wird geladen...

Evolution of order and chaos in physics, chemistry, and biology : proceedings of the International Symposium on Synergetics at Schloss Elmau, Bavaria, April 26-May 1, 1982 /
Veröffentlicht: (1982)

Wird geladen...

Defects in semiconductors II : symposium held November 1982 in Boston, Massachusetts, U.S.A. /
Veröffentlicht: (1983)

Wird geladen...

Fractals in physics : proceedings of the Sixth Trieste International Symposium on Fractals in Physics, ICTP, Trieste, Italy, July 9-12, 1985 /
von: Pietronero, Luciano., ed
Veröffentlicht: (1986)

Wird geladen...

Spectral theory of differential operators : proceedings of the conference held at the University of Alabama in Birmingham, Birmingham, Alabama, U.S.A., March 26-28, 1981 /
von: Knowles, Ian W ed
Veröffentlicht: (1981)

Wird geladen...

Systems : approaches, theories, applications : including the proceedings of the eighth George Hudson Symposium held at Plattsburgh, New York, April 11-12, 1975 /
Veröffentlicht: (1977)

Wird geladen...

Topology, Geometry and Quantum Field Theory Proceedings of the 2002 Oxford Symposium in Honour of the 60th Birthday of Graeme Segal /
von: Tillmann, Ulrike
Veröffentlicht: (2004)