Follow us on

Search

Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963

Logic Colloquium [8 ; 1963 ; Oxford]

Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963

Names

Dummett, Michael
Crossley, John N.
[Autore] Logic Colloquium [8 ; 1963 ; Oxford]

Description

Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963 / edited by J. N. Crossley and M. A. E. Dummett

Physical description

320 p. ; 23 cm

Date

1965

Place of publication

Amsterdam

Village

PAESI BASSI

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\SBL\0208256

Resources links

http://id.sbn.it/bid/SBL0208256

Tag

Images

Throughout the trial i was kept in legirons, belly chain and handcuffs... : the savage victimisation of a Grassroots activist

Throughout the trial i was kept in legirons, belly chain and handcuffs... : the savage victimisation of a Grassroots activist

Throughout the trial i was kept in legirons, belly chain and handcuffs... : the savage victimisation of a Grassroots activist

Throughout the trial i was kept in legirons, belly chain and handcuffs... : the savage victimisation of a Grassroots activist

Results 2 of 7465

Texts

Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965

Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965

Author : Logic colloquium [10. ; 1965 ; Leicester]

Year : 1967

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Author : Logic colloquium <1983

Year : 1984

Results 2 of 771494

Video

Video and multimedia at 3ecm : Barcelona, July 10-14, 2000

Video and multimedia at 3ecm : Barcelona, July 10-14, 2000

Author : Xambo-Descamps, Sebastian

Year : 2000

Harry Potter : la collezione completa degli 8 film

Harry Potter : la collezione completa degli 8 film

Year : 2018

Results 2 of 20492

Audio

English madrigals and songs : [from Henry VIII to the 20th century!

English madrigals and songs : [from Henry VIII to the 20th century!

Year : 1996

Musica del tardo barocco inglese

Musica del tardo barocco inglese

Author : Boyce, William

Year : 2001

Results 2 of 9443

Comments

Write a comment

Send