Document preview

See original record

Data source

Bibliotecas | Instituto Politécnico de Castelo Branco

My List

Email

Download

Developmental physical education for all children
Gallahue, David L. cop. 2003

Remove

Movement skill assessment
Burton, Allen W. cop. 1998

Remove

As TIC na formação contínua de professores
Nunes, Joaquim Raposo 2006

Remove

Pré-requisitos para ler e escrever
Rebelo, José Augusto da Silva , 1992

Remove

Sermão de Nossa Senhora Mãe de Deus e dos Homens
Pimentel, João Pereira Botelho de Amaral e , 1864

Remove

Compilação de textos XX
União Europeia, Conselho , 1997

Remove

Discurso do método
Descartes, René , 1977

Remove

Geometria analítica, plana e no espaço
Kindle, Joseph H. , 1979

Remove

La biblioteca universitária
Thompson, James , 1990

Remove

Turismo e aventura
União Europeia, Conselho , cop. 2003

Remove

See more

Search title on

Google Scholar

Amazon

WorldCat

Google Books

Share this record

Language, proof and logic

Type

MON

Creator

Barker-Plummer, Dave

Publisher

CSLI Publications

Identifier

URN:ISBN:9781575866321

Title

Language, proof and logic

Contributor

Barwise, Jon
Etchemendy, John
Liu, Albert, colaborador
Murray, Michael, colaborador
Pease, Emma, colaborador

Date

cop. 2011

Description

Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.

Language

eng

Comments