María Manzano

Available identifiers

zbMath Open manzano.mariaWikidataQ6004272 ScholiaQ6004272MaRDI QIDQ484100

List of research outcomes

Publication	Date of Publication	Type
Exorcising the phantom zone	2022-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5071241	2022-04-20	Paper
Rigid first-order hybrid logic	2020-03-04	Paper
Completeness in equational hybrid propositional type theory	2019-12-11	Paper
Identity, equality, nameability and completeness. Part II	2019-03-21	Paper
Identity, Equality, Nameability and Completeness	2018-07-12	Paper
Visions of Henkin	2017-03-09	Paper
Leon Henkin	2015-11-27	Paper
Henkin on Completeness	2015-11-27	Paper
April the 19th	2015-11-27	Paper
Henkin and Hybrid Logic	2015-11-27	Paper
Completeness: from Gödel to Henkin	2015-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5173183	2015-02-09	Paper
Completeness in hybrid type theory	2014-12-18	Paper
Diagonalisation and Church's Thesis: Kleene's Homework	2005-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4224293	1999-01-11	Paper
Alonzo church:his life, his work and some of his miracles	1998-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4858033	1995-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3773853	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3722467	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: María Manzano